current bounds on the number of colors: 0 -- 162 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:36:49 2012 Optimize a model with 53055 rows, 13775 columns and 171801 nonzeros Presolve time: 0.17s Presolved: 53055 rows, 13775 columns, 171801 nonzeros Variable types: 0 continuous, 13775 integer (13775 binary) Root relaxation: objective 0.000000e+00, 609 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 (983 simplex iterations) in 0.31 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 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:36:50 2012 Optimize a model with 26282 rows, 7133 columns and 84840 nonzeros Presolve time: 0.13s Presolved: 26282 rows, 7133 columns, 84840 nonzeros Variable types: 0 continuous, 7133 integer (7133 binary) Root relaxation: objective 0.000000e+00, 462 iterations, 0.02 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 (905 simplex iterations) in 0.20 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:36:51 2012 Optimize a model with 13222 rows, 3893 columns and 42420 nonzeros Presolve time: 0.05s Presolved: 13222 rows, 3893 columns, 42420 nonzeros Variable types: 0 continuous, 3893 integer (3893 binary) Root relaxation: objective 0.000000e+00, 364 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 (832 simplex iterations) in 0.09 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:36:51 2012 Optimize a model with 6692 rows, 2273 columns and 21210 nonzeros Presolve time: 0.02s Presolved: 6692 rows, 2273 columns, 21210 nonzeros Variable types: 0 continuous, 2273 integer (2273 binary) Root relaxation: objective 0.000000e+00, 345 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 (613 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:36:51 2012 Optimize a model with 3427 rows, 1463 columns and 10605 nonzeros Presolve time: 0.01s Presolved: 3427 rows, 1463 columns, 10605 nonzeros Variable types: 0 continuous, 1463 integer (1463 binary) Root relaxation: objective 0.000000e+00, 371 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 (1224 simplex iterations) in 0.04 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:36:51 2012 Optimize a model with 1468 rows, 977 columns and 4242 nonzeros Presolve removed 162 rows and 162 columns Presolve time: 0.00s Presolved: 1306 rows, 815 columns, 3918 nonzeros Variable types: 0 continuous, 815 integer (815 binary) Root relaxation: objective 0.000000e+00, 170 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 162 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (677 simplex iterations) in 0.02 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:36:51 2012 Optimize a model with 2121 rows, 1139 columns and 6363 nonzeros Presolve time: 0.01s Presolved: 2121 rows, 1139 columns, 6363 nonzeros Variable types: 0 continuous, 1139 integer (1139 binary) Root relaxation: objective 0.000000e+00, 354 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 318 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3538 simplex iterations) in 0.30 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:36:51 2012 Optimize a model with 2774 rows, 1301 columns and 8484 nonzeros Presolve time: 0.01s Presolved: 2774 rows, 1301 columns, 8484 nonzeros Variable types: 0 continuous, 1301 integer (1301 binary) Root relaxation: objective 0.000000e+00, 377 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 1s 0 0 0.00000 0 210 - 0.00000 - - 1s 0 0 0.00000 0 202 - 0.00000 - - 1s 0 0 0.00000 0 198 - 0.00000 - - 1s 0 0 0.00000 0 156 - 0.00000 - - 2s 0 0 0.00000 0 164 - 0.00000 - - 2s 0 0 0.00000 0 148 - 0.00000 - - 2s 0 0 0.00000 0 146 - 0.00000 - - 2s 0 0 0.00000 0 149 - 0.00000 - - 2s 0 0 0.00000 0 143 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 2 0.00000 0 357 - 0.00000 - - 4s 114 21 0.00000 20 234 - 0.00000 - 72.7 5s 909 48 0.00000 17 335 - 0.00000 - 53.7 10s * 1039 8 33 0.0000000 0.00000 0.0% 84.1 12s Cutting planes: Zero half: 10 Explored 1040 nodes (134501 simplex iterations) in 12.92 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: 4