current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:01:18 2012 Optimize a model with 64685 rows, 15209 columns and 207995 nonzeros Presolve time: 0.19s Presolved: 64685 rows, 15209 columns, 207995 nonzeros Variable types: 0 continuous, 15209 integer (15209 binary) Root relaxation: objective 0.000000e+00, 646 iterations, 0.06 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 (1034 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% current bounds on the number of colors: 0 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:01:19 2012 Optimize a model with 32048 rows, 7899 columns and 102774 nonzeros Presolve time: 0.14s Presolved: 32048 rows, 7899 columns, 102774 nonzeros Variable types: 0 continuous, 7899 integer (7899 binary) Root relaxation: objective 0.000000e+00, 466 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 (810 simplex iterations) in 0.21 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:01:20 2012 Optimize a model with 16109 rows, 4329 columns and 51387 nonzeros Presolve time: 0.06s Presolved: 16109 rows, 4329 columns, 51387 nonzeros Variable types: 0 continuous, 4329 integer (4329 binary) Root relaxation: objective 0.000000e+00, 351 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 (684 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:01:20 2012 Optimize a model with 7760 rows, 2459 columns and 24470 nonzeros Presolve time: 0.02s Presolved: 7760 rows, 2459 columns, 24470 nonzeros Variable types: 0 continuous, 2459 integer (2459 binary) Root relaxation: objective 0.000000e+00, 357 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 (684 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 21:01:20 2012 Optimize a model with 3965 rows, 1609 columns and 12235 nonzeros Presolve time: 0.01s Presolved: 3965 rows, 1609 columns, 12235 nonzeros Variable types: 0 continuous, 1609 integer (1609 binary) Root relaxation: objective 0.000000e+00, 369 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 151 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3670 simplex iterations) in 0.22 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 21:01:20 2012 Optimize a model with 1688 rows, 1099 columns and 4894 nonzeros Presolve removed 170 rows and 170 columns Presolve time: 0.00s Presolved: 1518 rows, 929 columns, 4554 nonzeros Variable types: 0 continuous, 929 integer (929 binary) Root relaxation: objective 0.000000e+00, 177 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 170 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (720 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 21:01:20 2012 Optimize a model with 2447 rows, 1269 columns and 7341 nonzeros Presolve time: 0.01s Presolved: 2447 rows, 1269 columns, 7341 nonzeros Variable types: 0 continuous, 1269 integer (1269 binary) Root relaxation: objective 0.000000e+00, 395 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 258 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6340 simplex iterations) in 0.64 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 21:01:21 2012 Optimize a model with 3206 rows, 1439 columns and 9788 nonzeros Presolve time: 0.01s Presolved: 3206 rows, 1439 columns, 9788 nonzeros Variable types: 0 continuous, 1439 integer (1439 binary) Root relaxation: objective 0.000000e+00, 391 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 312 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 418 - 0.00000 - - 3s 0 0 0.00000 0 418 - 0.00000 - - 3s 0 2 0.00000 0 418 - 0.00000 - - 3s 162 32 infeasible 14 - 0.00000 - 128 5s 705 55 0.00000 10 315 - 0.00000 - 109 10s 710 58 0.00000 10 272 - 0.00000 - 108 15s 767 70 0.00000 25 298 - 0.00000 - 165 20s 1111 44 infeasible 27 - 0.00000 - 181 25s 1483 42 0.00000 24 278 - 0.00000 - 190 30s 1828 45 0.00000 30 282 - 0.00000 - 197 35s 2169 20 infeasible 33 - 0.00000 - 204 40s 2511 14 0.00000 28 272 - 0.00000 - 207 45s Cutting planes: Zero half: 12 Explored 2886 nodes (628992 simplex iterations) in 49.94 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5