current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:14:46 2012 Optimize a model with 64685 rows, 15209 columns and 207995 nonzeros Presolve time: 0.20s Presolved: 64685 rows, 15209 columns, 207995 nonzeros Variable types: 0 continuous, 15209 integer (15209 binary) Root relaxation: objective 0.000000e+00, 634 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 (975 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:14:47 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, 460 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 (922 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:14:48 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, 396 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 (708 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:14:48 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, 361 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 (656 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:14:48 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, 363 iterations, 0.00 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 (2967 simplex iterations) in 0.17 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:14:48 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, 189 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 (716 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:14:48 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, 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 334 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3628 simplex iterations) in 0.31 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:14:49 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, 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.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 294 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 2 0.00000 0 290 - 0.00000 - - 3s 188 38 0.00000 15 240 - 0.00000 - 137 5s 607 66 0.00000 12 194 - 0.00000 - 100 10s 612 69 0.00000 16 347 - 0.00000 - 99.2 15s 910 36 infeasible 28 - 0.00000 - 171 20s 1404 42 infeasible 22 - 0.00000 - 173 25s 1917 55 infeasible 29 - 0.00000 - 173 30s 2394 90 infeasible 33 - 0.00000 - 175 35s 2898 78 0.00000 23 319 - 0.00000 - 175 40s 3409 85 infeasible 26 - 0.00000 - 175 45s 3916 108 infeasible 28 - 0.00000 - 175 50s 4430 116 0.00000 27 284 - 0.00000 - 175 55s 4910 132 infeasible 29 - 0.00000 - 175 60s 5380 126 0.00000 26 294 - 0.00000 - 176 65s 5837 113 infeasible 28 - 0.00000 - 177 70s 6321 101 infeasible 24 - 0.00000 - 177 75s 6769 75 infeasible 29 - 0.00000 - 177 80s 7253 57 infeasible 27 - 0.00000 - 177 85s 7704 26 infeasible 31 - 0.00000 - 177 90s 8186 16 infeasible 26 - 0.00000 - 178 95s Cutting planes: Gomory: 1 Zero half: 19 Explored 8293 nodes (1511592 simplex iterations) in 96.57 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