current bounds on the number of colors: 0 -- 203 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:34:39 2012 Optimize a model with 105849 rows, 21549 columns and 337441 nonzeros Presolve time: 0.35s Presolved: 105849 rows, 21549 columns, 337441 nonzeros Variable types: 0 continuous, 21549 integer (21549 binary) Root relaxation: objective 0.000000e+00, 942 iterations, 0.13 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 (1431 simplex iterations) in 0.64 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:34:41 2012 Optimize a model with 52503 rows, 11196 columns and 167050 nonzeros Presolve time: 0.16s Presolved: 52503 rows, 11196 columns, 167050 nonzeros Variable types: 0 continuous, 11196 integer (11196 binary) Root relaxation: objective 0.000000e+00, 716 iterations, 0.05 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 (1231 simplex iterations) in 0.29 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:34:42 2012 Optimize a model with 26353 rows, 6121 columns and 83525 nonzeros Presolve time: 0.11s Presolved: 26353 rows, 6121 columns, 83525 nonzeros Variable types: 0 continuous, 6121 integer (6121 binary) Root relaxation: objective 0.000000e+00, 514 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 (937 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:34:42 2012 Optimize a model with 12755 rows, 3482 columns and 40092 nonzeros Presolve time: 0.04s Presolved: 12755 rows, 3482 columns, 40092 nonzeros Variable types: 0 continuous, 3482 integer (3482 binary) Root relaxation: objective 0.000000e+00, 426 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 (853 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 10:34:43 2012 Optimize a model with 6479 rows, 2264 columns and 20046 nonzeros Presolve time: 0.02s Presolved: 6479 rows, 2264 columns, 20046 nonzeros Variable types: 0 continuous, 2264 integer (2264 binary) Root relaxation: objective 0.000000e+00, 429 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 (1608 simplex iterations) in 0.08 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 10:34:43 2012 Optimize a model with 3341 rows, 1655 columns and 10023 nonzeros Presolve time: 0.01s Presolved: 3341 rows, 1655 columns, 10023 nonzeros Variable types: 0 continuous, 1655 integer (1655 binary) Root relaxation: objective 0.000000e+00, 482 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 402 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 562 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 22 Zero half: 1348 Explored 0 nodes (8912 simplex iterations) in 1.44 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 10:34:44 2012 Optimize a model with 4387 rows, 1858 columns and 13364 nonzeros Presolve time: 0.01s Presolved: 4387 rows, 1858 columns, 13364 nonzeros Variable types: 0 continuous, 1858 integer (1858 binary) Root relaxation: objective 0.000000e+00, 465 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 388 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 554 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 6s 0 0 0.00000 0 338 - 0.00000 - - 7s 0 0 0.00000 0 338 - 0.00000 - - 7s 0 0 0.00000 0 338 - 0.00000 - - 8s 0 2 0.00000 0 338 - 0.00000 - - 9s 8 6 0.00000 6 368 - 0.00000 - 479 10s 423 80 0.00000 16 392 - 0.00000 - 150 15s 605 94 0.00000 26 364 - 0.00000 - 139 22s 607 95 0.00000 8 360 - 0.00000 - 138 27s 609 96 0.00000 21 350 - 0.00000 - 138 31s 611 98 0.00000 3 340 - 0.00000 - 138 35s 615 100 0.00000 13 361 - 0.00000 - 137 40s 763 75 infeasible 27 - 0.00000 - 249 45s 940 29 0.00000 22 356 - 0.00000 - 258 50s 1146 25 0.00000 26 378 - 0.00000 - 264 55s 1348 31 infeasible 25 - 0.00000 - 269 60s 1526 35 0.00000 21 493 - 0.00000 - 274 65s 1742 63 0.00000 22 374 - 0.00000 - 272 70s 1942 63 infeasible 24 - 0.00000 - 273 75s 2140 67 infeasible 27 - 0.00000 - 275 80s 2312 53 infeasible 27 - 0.00000 - 278 85s 2497 56 infeasible 24 - 0.00000 - 280 90s 2672 59 0.00000 21 396 - 0.00000 - 282 95s 2840 37 infeasible 24 - 0.00000 - 285 100s 3064 33 infeasible 32 - 0.00000 - 283 105s 3248 25 infeasible 27 - 0.00000 - 284 110s 3411 14 0.00000 20 461 - 0.00000 - 286 115s 3566 27 infeasible 25 - 0.00000 - 287 120s 3705 28 0.00000 22 466 - 0.00000 - 290 125s 3836 21 0.00000 23 423 - 0.00000 - 293 130s 3995 26 infeasible 25 - 0.00000 - 294 135s 4152 29 infeasible 24 - 0.00000 - 295 140s 4297 22 infeasible 22 - 0.00000 - 297 145s 4430 9 infeasible 25 - 0.00000 - 299 150s 4559 0 infeasible 19 - infeasible - 301 155s Cutting planes: Zero half: 14 Explored 4560 nodes (1430754 simplex iterations) in 155.03 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 10:37:20 2012 Optimize a model with 5433 rows, 2061 columns and 16705 nonzeros Presolve time: 0.01s Presolved: 5433 rows, 2061 columns, 16705 nonzeros Variable types: 0 continuous, 2061 integer (2061 binary) Root relaxation: objective 0.000000e+00, 439 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 374 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (6554 simplex iterations) in 0.72 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