current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:20:02 2012 Optimize a model with 94285 rows, 19885 columns and 301185 nonzeros Presolve time: 0.31s Presolved: 94285 rows, 19885 columns, 301185 nonzeros Variable types: 0 continuous, 19885 integer (19885 binary) Root relaxation: objective 0.000000e+00, 771 iterations, 0.09 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 (1216 simplex iterations) in 0.53 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:20:04 2012 Optimize a model with 46755 rows, 10330 columns and 149040 nonzeros Presolve time: 0.16s Presolved: 46755 rows, 10330 columns, 149040 nonzeros Variable types: 0 continuous, 10330 integer (10330 binary) Root relaxation: objective 0.000000e+00, 532 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 (930 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:20:05 2012 Optimize a model with 23475 rows, 5650 columns and 74520 nonzeros Presolve time: 0.09s Presolved: 23475 rows, 5650 columns, 74520 nonzeros Variable types: 0 continuous, 5650 integer (5650 binary) Root relaxation: objective 0.000000e+00, 462 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 (821 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:20:05 2012 Optimize a model with 11835 rows, 3310 columns and 37260 nonzeros Presolve time: 0.04s Presolved: 11835 rows, 3310 columns, 37260 nonzeros Variable types: 0 continuous, 3310 integer (3310 binary) Root relaxation: objective 0.000000e+00, 430 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 (816 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:20:05 2012 Optimize a model with 6015 rows, 2140 columns and 18630 nonzeros Presolve time: 0.02s Presolved: 6015 rows, 2140 columns, 18630 nonzeros Variable types: 0 continuous, 2140 integer (2140 binary) Root relaxation: objective 0.000000e+00, 412 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 (1525 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:20:05 2012 Optimize a model with 3105 rows, 1555 columns and 9315 nonzeros Presolve time: 0.01s Presolved: 3105 rows, 1555 columns, 9315 nonzeros Variable types: 0 continuous, 1555 integer (1555 binary) Root relaxation: objective 0.000000e+00, 441 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 384 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5106 simplex iterations) in 0.70 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:20:06 2012 Optimize a model with 4075 rows, 1750 columns and 12420 nonzeros Presolve time: 0.01s Presolved: 4075 rows, 1750 columns, 12420 nonzeros Variable types: 0 continuous, 1750 integer (1750 binary) Root relaxation: objective 0.000000e+00, 453 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 370 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 470 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 342 - 0.00000 - - 5s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 2 0.00000 0 346 - 0.00000 - - 6s 262 32 infeasible 14 - 0.00000 - 184 10s 603 78 0.00000 6 360 - 0.00000 - 176 15s 606 80 0.00000 22 328 - 0.00000 - 175 21s 608 82 0.00000 12 381 - 0.00000 - 174 25s 611 84 0.00000 8 286 - 0.00000 - 173 31s 614 86 0.00000 8 284 - 0.00000 - 172 36s 616 87 0.00000 15 294 - 0.00000 - 172 40s 622 91 0.00000 12 288 - 0.00000 - 305 45s 664 91 infeasible 26 - 0.00000 - 300 50s 870 66 infeasible 28 - 0.00000 - 282 55s 1079 75 infeasible 21 - 0.00000 - 280 60s 1298 90 infeasible 32 - 0.00000 - 279 65s 1502 88 infeasible 29 - 0.00000 - 279 70s 1708 116 0.00000 21 358 - 0.00000 - 277 75s 1937 109 infeasible 26 - 0.00000 - 277 80s 2143 111 0.00000 27 365 - 0.00000 - 277 85s 2340 96 0.00000 20 360 - 0.00000 - 278 90s 2538 80 0.00000 22 432 - 0.00000 - 279 95s 2726 82 infeasible 25 - 0.00000 - 282 100s 2905 97 0.00000 24 366 - 0.00000 - 283 105s 3078 86 infeasible 27 - 0.00000 - 285 110s 3294 84 0.00000 20 460 - 0.00000 - 284 115s 3494 72 infeasible 25 - 0.00000 - 284 120s 3681 59 infeasible 22 - 0.00000 - 286 125s 3838 30 infeasible 20 - 0.00000 - 288 130s 4009 7 infeasible 22 - 0.00000 - 289 135s Cutting planes: Zero half: 24 Explored 4071 nodes (1223631 simplex iterations) in 136.94 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:22:23 2012 Optimize a model with 5045 rows, 1945 columns and 15525 nonzeros Presolve time: 0.01s Presolved: 5045 rows, 1945 columns, 15525 nonzeros Variable types: 0 continuous, 1945 integer (1945 binary) Root relaxation: objective 0.000000e+00, 432 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 221 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4261 simplex iterations) in 0.35 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