current bounds on the number of colors: 0 -- 156 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:46 2012 Optimize a model with 10218 rows, 12297 columns and 42354 nonzeros Presolve removed 26 rows and 2028 columns Presolve time: 0.11s Presolved: 10192 rows, 10269 columns, 40326 nonzeros Variable types: 0 continuous, 10269 integer (10269 binary) Root relaxation: objective 0.000000e+00, 226 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (226 simplex iterations) in 0.12 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 78 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:47 2012 Optimize a model with 5187 rows, 6213 columns and 21177 nonzeros Presolve removed 26 rows and 1014 columns Presolve time: 0.04s Presolved: 5161 rows, 5199 columns, 20163 nonzeros Variable types: 0 continuous, 5199 integer (5199 binary) Root relaxation: objective 0.000000e+00, 229 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (229 simplex iterations) in 0.05 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 39 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:47 2012 Optimize a model with 2607 rows, 3093 columns and 10317 nonzeros Presolve removed 26 rows and 494 columns Presolve time: 0.01s Presolved: 2581 rows, 2599 columns, 9823 nonzeros Variable types: 0 continuous, 2599 integer (2599 binary) Root relaxation: objective 0.000000e+00, 229 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (229 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 19 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:47 2012 Optimize a model with 1317 rows, 1533 columns and 4887 nonzeros Presolve removed 26 rows and 234 columns Presolve time: 0.01s Presolved: 1291 rows, 1299 columns, 4653 nonzeros Variable types: 0 continuous, 1299 integer (1299 binary) Root relaxation: objective 0.000000e+00, 226 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (226 simplex iterations) in 0.01 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 9 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:47 2012 Optimize a model with 672 rows, 753 columns and 2172 nonzeros Presolve removed 26 rows and 104 columns Presolve time: 0.00s Presolved: 646 rows, 649 columns, 2068 nonzeros Variable types: 0 continuous, 649 integer (649 binary) Root relaxation: objective 0.000000e+00, 193 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (193 simplex iterations) in 0.00 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:47 2012 Optimize a model with 414 rows, 441 columns and 1086 nonzeros Presolve removed 166 rows and 197 columns Presolve time: 0.00s Presolved: 248 rows, 244 columns, 744 nonzeros Variable types: 0 continuous, 244 integer (244 binary) Root relaxation: objective 0.000000e+00, 124 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 101 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (386 simplex iterations) in 0.00 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 2 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:47 2012 Optimize a model with 543 rows, 597 columns and 1629 nonzeros Presolve removed 26 rows and 78 columns Presolve time: 0.00s Presolved: 517 rows, 519 columns, 1551 nonzeros Variable types: 0 continuous, 519 integer (519 binary) Root relaxation: objective 0.000000e+00, 206 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (206 simplex iterations) in 0.00 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% optimal solution found: number of colors: 3