current bounds on the number of colors: 0 -- 188 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:25:09 2012 Optimize a model with 85540 rows, 18580 columns and 273728 nonzeros Presolve time: 0.27s Presolved: 85540 rows, 18580 columns, 273728 nonzeros Variable types: 0 continuous, 18580 integer (18580 binary) Root relaxation: objective 0.000000e+00, 748 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 (1194 simplex iterations) in 0.49 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:25:11 2012 Optimize a model with 42864 rows, 9744 columns and 136864 nonzeros Presolve time: 0.15s Presolved: 42864 rows, 9744 columns, 136864 nonzeros Variable types: 0 continuous, 9744 integer (9744 binary) Root relaxation: objective 0.000000e+00, 639 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 (1058 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:25:12 2012 Optimize a model with 21072 rows, 5232 columns and 66976 nonzeros Presolve time: 0.08s Presolved: 21072 rows, 5232 columns, 66976 nonzeros Variable types: 0 continuous, 5232 integer (5232 binary) Root relaxation: objective 0.000000e+00, 409 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 (761 simplex iterations) in 0.12 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:25:12 2012 Optimize a model with 10176 rows, 2976 columns and 32032 nonzeros Presolve time: 0.03s Presolved: 10176 rows, 2976 columns, 32032 nonzeros Variable types: 0 continuous, 2976 integer (2976 binary) Root relaxation: objective 0.000000e+00, 393 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 (716 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:25:12 2012 Optimize a model with 4728 rows, 1848 columns and 14560 nonzeros Presolve time: 0.01s Presolved: 4728 rows, 1848 columns, 14560 nonzeros Variable types: 0 continuous, 1848 integer (1848 binary) Root relaxation: objective 0.000000e+00, 407 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 237 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4475 simplex iterations) in 0.33 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 Sat Dec 15 04:25:12 2012 Optimize a model with 2004 rows, 1284 columns and 5824 nonzeros Presolve removed 188 rows and 188 columns Presolve time: 0.00s Presolved: 1816 rows, 1096 columns, 5448 nonzeros Variable types: 0 continuous, 1096 integer (1096 binary) Root relaxation: objective 0.000000e+00, 202 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 188 - 0.00000 - - 0s Explored 0 nodes (806 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 Sat Dec 15 04:25:13 2012 Optimize a model with 2912 rows, 1472 columns and 8736 nonzeros Presolve time: 0.01s Presolved: 2912 rows, 1472 columns, 8736 nonzeros Variable types: 0 continuous, 1472 integer (1472 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 272 - 0.00000 - - 0s 0 0 0.00000 0 381 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7623 simplex iterations) in 0.78 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 Sat Dec 15 04:25:13 2012 Optimize a model with 3820 rows, 1660 columns and 11648 nonzeros Presolve time: 0.01s Presolved: 3820 rows, 1660 columns, 11648 nonzeros Variable types: 0 continuous, 1660 integer (1660 binary) Root relaxation: objective 0.000000e+00, 419 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 366 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 2 0.00000 0 332 - 0.00000 - - 5s 561 64 0.00000 21 298 - 0.00000 - 130 10s 606 84 0.00000 7 346 - 0.00000 - 130 15s 610 87 0.00000 20 316 - 0.00000 - 129 21s 657 100 infeasible 24 - 0.00000 - 203 25s 950 28 infeasible 22 - 0.00000 - 212 30s 1265 39 infeasible 27 - 0.00000 - 214 35s 1573 33 infeasible 27 - 0.00000 - 215 40s 1872 24 infeasible 20 - 0.00000 - 217 45s 2136 40 0.00000 30 324 - 0.00000 - 220 50s 2416 8 0.00000 20 320 - 0.00000 - 223 55s Cutting planes: Gomory: 1 Zero half: 4 Explored 2731 nodes (651901 simplex iterations) in 59.95 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