current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:33 2012 Optimize a model with 94091 rows, 19883 columns and 300603 nonzeros Presolve time: 0.31s Presolved: 94091 rows, 19883 columns, 300603 nonzeros Variable types: 0 continuous, 19883 integer (19883 binary) Root relaxation: objective 0.000000e+00, 709 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 (1123 simplex iterations) in 0.52 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:34 2012 Optimize a model with 46659 rows, 10328 columns and 148752 nonzeros Presolve time: 0.16s Presolved: 46659 rows, 10328 columns, 148752 nonzeros Variable types: 0 continuous, 10328 integer (10328 binary) Root relaxation: objective 0.000000e+00, 534 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 (942 simplex iterations) in 0.25 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:35 2012 Optimize a model with 23427 rows, 5648 columns and 74376 nonzeros Presolve time: 0.09s Presolved: 23427 rows, 5648 columns, 74376 nonzeros Variable types: 0 continuous, 5648 integer (5648 binary) Root relaxation: objective 0.000000e+00, 466 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 (844 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:36 2012 Optimize a model with 11811 rows, 3308 columns and 37188 nonzeros Presolve time: 0.04s Presolved: 11811 rows, 3308 columns, 37188 nonzeros Variable types: 0 continuous, 3308 integer (3308 binary) Root relaxation: objective 0.000000e+00, 417 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 (752 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 07:12:36 2012 Optimize a model with 6003 rows, 2138 columns and 18594 nonzeros Presolve time: 0.02s Presolved: 6003 rows, 2138 columns, 18594 nonzeros Variable types: 0 continuous, 2138 integer (2138 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 (2087 simplex iterations) in 0.10 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 07:12:36 2012 Optimize a model with 3099 rows, 1553 columns and 9297 nonzeros Presolve time: 0.01s Presolved: 3099 rows, 1553 columns, 9297 nonzeros Variable types: 0 continuous, 1553 integer (1553 binary) Root relaxation: objective 0.000000e+00, 455 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 388 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4599 simplex iterations) in 0.59 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 07:12:37 2012 Optimize a model with 4067 rows, 1748 columns and 12396 nonzeros Presolve time: 0.01s Presolved: 4067 rows, 1748 columns, 12396 nonzeros Variable types: 0 continuous, 1748 integer (1748 binary) Root relaxation: objective 0.000000e+00, 444 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 384 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 488 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 351 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 393 - 0.00000 - - 6s 0 0 0.00000 0 393 - 0.00000 - - 6s 0 2 0.00000 0 393 - 0.00000 - - 7s 179 23 infeasible 17 - 0.00000 - 175 10s 713 20 0.00000 16 413 - 0.00000 - 142 15s 1092 21 0.00000 12 344 - 0.00000 - 152 20s 1114 30 0.00000 16 375 - 0.00000 - 151 25s 1117 32 0.00000 16 322 - 0.00000 - 150 31s 1119 34 0.00000 8 314 - 0.00000 - 150 35s 1205 25 0.00000 18 368 - 0.00000 - 202 40s 1393 27 infeasible 23 - 0.00000 - 215 45s 1560 18 infeasible 27 - 0.00000 - 227 50s 1769 11 infeasible 22 - 0.00000 - 232 55s Cutting planes: Gomory: 1 Zero half: 17 Explored 1933 nodes (511735 simplex iterations) in 59.67 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 07:13:36 2012 Optimize a model with 5035 rows, 1943 columns and 15495 nonzeros Presolve time: 0.01s Presolved: 5035 rows, 1943 columns, 15495 nonzeros Variable types: 0 continuous, 1943 integer (1943 binary) Root relaxation: objective 0.000000e+00, 415 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 348 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (9900 simplex iterations) in 0.94 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