current bounds on the number of colors: 0 -- 153 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:50 2012 Optimize a model with 44081 rows, 12206 columns and 143412 nonzeros Presolve time: 0.16s Presolved: 44081 rows, 12206 columns, 143412 nonzeros Variable types: 0 continuous, 12206 integer (12206 binary) Root relaxation: objective 0.000000e+00, 597 iterations, 0.05 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 (933 simplex iterations) in 0.27 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 -- 76 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:51 2012 Optimize a model with 22117 rows, 6392 columns and 71706 nonzeros Presolve time: 0.12s Presolved: 22117 rows, 6392 columns, 71706 nonzeros Variable types: 0 continuous, 6392 integer (6392 binary) Root relaxation: objective 0.000000e+00, 386 iterations, 0.01 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 (677 simplex iterations) in 0.16 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 -- 38 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:52 2012 Optimize a model with 11135 rows, 3485 columns and 35853 nonzeros Presolve time: 0.04s Presolved: 11135 rows, 3485 columns, 35853 nonzeros Variable types: 0 continuous, 3485 integer (3485 binary) Root relaxation: objective 0.000000e+00, 340 iterations, 0.01 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 (608 simplex iterations) in 0.07 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 Fri Dec 14 18:51:52 2012 Optimize a model with 5355 rows, 1955 columns and 16983 nonzeros Presolve time: 0.02s Presolved: 5355 rows, 1955 columns, 16983 nonzeros Variable types: 0 continuous, 1955 integer (1955 binary) Root relaxation: objective 0.000000e+00, 325 iterations, 0.01 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 (580 simplex iterations) in 0.03 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 Fri Dec 14 18:51:52 2012 Optimize a model with 2465 rows, 1190 columns and 7548 nonzeros Presolve time: 0.01s Presolved: 2465 rows, 1190 columns, 7548 nonzeros Variable types: 0 continuous, 1190 integer (1190 binary) Root relaxation: objective 0.000000e+00, 340 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 298 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 311 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 243 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 301 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 2 0.00000 0 328 - 0.00000 - - 2s * 115 2 21 0.0000000 0.00000 0.0% 80.4 2s Cutting planes: Zero half: 19 Explored 116 nodes (30918 simplex iterations) in 2.86 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 Fri Dec 14 18:51:55 2012 Optimize a model with 1309 rows, 884 columns and 3774 nonzeros Presolve removed 153 rows and 153 columns Presolve time: 0.00s Presolved: 1156 rows, 731 columns, 3468 nonzeros Variable types: 0 continuous, 731 integer (731 binary) Root relaxation: objective 0.000000e+00, 160 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 153 - 0.00000 - - 0s Explored 0 nodes (650 simplex iterations) in 0.01 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 Fri Dec 14 18:51:55 2012 Optimize a model with 1887 rows, 1037 columns and 5661 nonzeros Presolve time: 0.00s Presolved: 1887 rows, 1037 columns, 5661 nonzeros Variable types: 0 continuous, 1037 integer (1037 binary) Root relaxation: objective 0.000000e+00, 353 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 298 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 0s 0 0 0.00000 0 385 - 0.00000 - - 0s 0 0 0.00000 0 401 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 301 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Zero half: 282 Explored 0 nodes (17905 simplex iterations) in 2.03 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - optimal solution found: number of colors: 4