current bounds on the number of colors: 0 -- 200 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:17:11 2012 Optimize a model with 101300 rows, 21011 columns and 323300 nonzeros Presolve time: 0.35s Presolved: 101300 rows, 21011 columns, 323300 nonzeros Variable types: 0 continuous, 21011 integer (21011 binary) Root relaxation: objective 0.000000e+00, 695 iterations, 0.08 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 (1114 simplex iterations) in 0.57 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:17:13 2012 Optimize a model with 50750 rows, 11011 columns and 161650 nonzeros Presolve time: 0.17s Presolved: 50750 rows, 11011 columns, 161650 nonzeros Variable types: 0 continuous, 11011 integer (11011 binary) Root relaxation: objective 0.000000e+00, 586 iterations, 0.03 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 (1023 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:17:14 2012 Optimize a model with 25475 rows, 6011 columns and 80825 nonzeros Presolve time: 0.10s Presolved: 25475 rows, 6011 columns, 80825 nonzeros Variable types: 0 continuous, 6011 integer (6011 binary) Root relaxation: objective 0.000000e+00, 470 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 (865 simplex iterations) in 0.15 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:17:14 2012 Optimize a model with 12332 rows, 3411 columns and 38796 nonzeros Presolve time: 0.04s Presolved: 12332 rows, 3411 columns, 38796 nonzeros Variable types: 0 continuous, 3411 integer (3411 binary) Root relaxation: objective 0.000000e+00, 420 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 (797 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:17:15 2012 Optimize a model with 6266 rows, 2211 columns and 19398 nonzeros Presolve time: 0.02s Presolved: 6266 rows, 2211 columns, 19398 nonzeros Variable types: 0 continuous, 2211 integer (2211 binary) Root relaxation: objective 0.000000e+00, 433 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 (1424 simplex iterations) in 0.06 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:17:15 2012 Optimize a model with 3233 rows, 1611 columns and 9699 nonzeros Presolve time: 0.01s Presolved: 3233 rows, 1611 columns, 9699 nonzeros Variable types: 0 continuous, 1611 integer (1611 binary) Root relaxation: objective 0.000000e+00, 469 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 396 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5259 simplex iterations) in 0.68 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:17:15 2012 Optimize a model with 4244 rows, 1811 columns and 12932 nonzeros Presolve time: 0.01s Presolved: 4244 rows, 1811 columns, 12932 nonzeros Variable types: 0 continuous, 1811 integer (1811 binary) Root relaxation: objective 0.000000e+00, 448 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 394 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 448 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 382 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 379 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 364 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 6s 0 0 0.00000 0 380 - 0.00000 - - 7s 0 0 0.00000 0 382 - 0.00000 - - 8s 0 0 0.00000 0 377 - 0.00000 - - 8s 0 2 0.00000 0 377 - 0.00000 - - 9s 67 23 0.00000 15 415 - 0.00000 - 193 10s 601 41 0.00000 19 390 - 0.00000 - 144 15s 607 45 0.00000 16 375 - 0.00000 - 143 21s 609 46 0.00000 19 362 - 0.00000 - 143 25s 612 48 0.00000 20 366 - 0.00000 - 142 31s 614 50 0.00000 19 344 - 0.00000 - 141 36s 662 52 0.00000 25 371 - 0.00000 - 250 40s 840 11 infeasible 24 - 0.00000 - 262 45s 1032 19 0.00000 24 391 - 0.00000 - 266 50s 1220 1 infeasible 24 - 0.00000 - 270 55s Cutting planes: Zero half: 17 Explored 1222 nodes (390264 simplex iterations) in 55.01 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:18:11 2012 Optimize a model with 5255 rows, 2011 columns and 16165 nonzeros Presolve time: 0.01s Presolved: 5255 rows, 2011 columns, 16165 nonzeros Variable types: 0 continuous, 2011 integer (2011 binary) Root relaxation: objective 0.000000e+00, 425 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 208 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (8127 simplex iterations) in 0.77 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: 5