current bounds on the number of colors: 0 -- 172 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:11 2012 Optimize a model with 66994 rows, 15569 columns and 215258 nonzeros Presolve removed 1 rows and 86 columns Presolve time: 0.21s Presolved: 66993 rows, 15483 columns, 215172 nonzeros Variable types: 0 continuous, 15483 integer (15483 binary) Root relaxation: objective 0.000000e+00, 632 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 (1068 simplex iterations) in 0.37 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:12 2012 Optimize a model with 33583 rows, 8173 columns and 107629 nonzeros Presolve removed 1 rows and 43 columns Presolve time: 0.15s Presolved: 33582 rows, 8130 columns, 107586 nonzeros Variable types: 0 continuous, 8130 integer (8130 binary) Root relaxation: objective 0.000000e+00, 601 iterations, 0.04 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 (1038 simplex iterations) in 0.23 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:13 2012 Optimize a model with 16489 rows, 4389 columns and 52563 nonzeros Presolve removed 1 rows and 21 columns Presolve time: 0.06s Presolved: 16488 rows, 4368 columns, 52542 nonzeros Variable types: 0 continuous, 4368 integer (4368 binary) Root relaxation: objective 0.000000e+00, 370 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 (677 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:13 2012 Optimize a model with 7942 rows, 2497 columns and 25030 nonzeros Presolve removed 1 rows and 10 columns Presolve time: 0.02s Presolved: 7941 rows, 2487 columns, 25020 nonzeros Variable types: 0 continuous, 2487 integer (2487 binary) Root relaxation: objective 0.000000e+00, 368 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 (693 simplex iterations) in 0.05 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:38:13 2012 Optimize a model with 4057 rows, 1637 columns and 12515 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.01s Presolved: 4056 rows, 1632 columns, 12510 nonzeros Variable types: 0 continuous, 1632 integer (1632 binary) Root relaxation: objective 0.000000e+00, 384 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 314 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1972 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:13 2012 Optimize a model with 1726 rows, 1121 columns and 5006 nonzeros Presolve removed 172 rows and 173 columns Presolve time: 0.00s Presolved: 1554 rows, 948 columns, 4662 nonzeros Variable types: 0 continuous, 948 integer (948 binary) Root relaxation: objective 0.000000e+00, 176 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 171 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (708 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:38:14 2012 Optimize a model with 2503 rows, 1293 columns and 7509 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.01s Presolved: 2502 rows, 1290 columns, 7506 nonzeros Variable types: 0 continuous, 1290 integer (1290 binary) Root relaxation: objective 0.000000e+00, 381 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 334 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4500 simplex iterations) in 0.47 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:38:14 2012 Optimize a model with 3280 rows, 1465 columns and 10012 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.01s Presolved: 3279 rows, 1461 columns, 10008 nonzeros Variable types: 0 continuous, 1461 integer (1461 binary) Root relaxation: objective 0.000000e+00, 383 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 322 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 321 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 283 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 2s 0 0 0.00000 0 274 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 3s 0 0 0.00000 0 262 - 0.00000 - - 3s 0 0 0.00000 0 260 - 0.00000 - - 3s 0 0 0.00000 0 252 - 0.00000 - - 4s 0 0 0.00000 0 250 - 0.00000 - - 4s 0 0 0.00000 0 246 - 0.00000 - - 4s 0 0 0.00000 0 253 - 0.00000 - - 4s 0 0 0.00000 0 240 - 0.00000 - - 5s 0 0 0.00000 0 243 - 0.00000 - - 5s 0 0 0.00000 0 267 - 0.00000 - - 5s 0 0 0.00000 0 232 - 0.00000 - - 6s 0 0 0.00000 0 228 - 0.00000 - - 6s 0 0 0.00000 0 230 - 0.00000 - - 6s 0 0 0.00000 0 230 - 0.00000 - - 7s 0 2 0.00000 0 226 - 0.00000 - - 7s 449 19 infeasible 13 - 0.00000 - 114 10s 806 20 0.00000 0 302 - 0.00000 - 113 15s 811 24 0.00000 0 278 - 0.00000 - 113 20s 818 28 infeasible 11 - 0.00000 - 174 25s 1170 23 0.00000 22 329 - 0.00000 - 184 30s 1545 10 infeasible 27 - 0.00000 - 192 35s Cutting planes: Gomory: 1 Zero half: 10 Explored 1745 nodes (409429 simplex iterations) in 37.89 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