current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:24:34 2012 Optimize a model with 123173 rows, 23738 columns and 391458 nonzeros Presolve time: 0.42s Presolved: 123173 rows, 23738 columns, 391458 nonzeros Variable types: 0 continuous, 23738 integer (23738 binary) Root relaxation: objective 0.000000e+00, 541 iterations, 0.15 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 (993 simplex iterations) in 0.74 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:24:36 2012 Optimize a model with 61693 rows, 12449 columns and 195729 nonzeros Presolve time: 0.17s Presolved: 61693 rows, 12449 columns, 195729 nonzeros Variable types: 0 continuous, 12449 integer (12449 binary) Root relaxation: objective 0.000000e+00, 804 iterations, 0.08 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 (1340 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:24:37 2012 Optimize a model with 30373 rows, 6698 columns and 96018 nonzeros Presolve time: 0.13s Presolved: 30373 rows, 6698 columns, 96018 nonzeros Variable types: 0 continuous, 6698 integer (6698 binary) Root relaxation: objective 0.000000e+00, 527 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 (975 simplex iterations) in 0.19 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:24:38 2012 Optimize a model with 15293 rows, 3929 columns and 48009 nonzeros Presolve time: 0.05s Presolved: 15293 rows, 3929 columns, 48009 nonzeros Variable types: 0 continuous, 3929 integer (3929 binary) Root relaxation: objective 0.000000e+00, 457 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 (878 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:24:38 2012 Optimize a model with 7173 rows, 2438 columns and 22158 nonzeros Presolve time: 0.02s Presolved: 7173 rows, 2438 columns, 22158 nonzeros Variable types: 0 continuous, 2438 integer (2438 binary) Root relaxation: objective 0.000000e+00, 467 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 (2265 simplex iterations) in 0.11 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 14:24:38 2012 Optimize a model with 3693 rows, 1799 columns and 11079 nonzeros Presolve time: 0.01s Presolved: 3693 rows, 1799 columns, 11079 nonzeros Variable types: 0 continuous, 1799 integer (1799 binary) Root relaxation: objective 0.000000e+00, 491 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 424 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 0.00000 0 593 - 0.00000 - - 1s 0 0 0.00000 0 608 - 0.00000 - - 1s 0 0 0.00000 0 594 - 0.00000 - - 3s 0 0 0.00000 0 603 - 0.00000 - - 5s 0 0 infeasible 0 - 0.10000 - - 5s Cutting planes: Zero half: 1707 Explored 0 nodes (20584 simplex iterations) in 5.79 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 14:24:44 2012 Optimize a model with 4853 rows, 2012 columns and 14772 nonzeros Presolve time: 0.01s Presolved: 4853 rows, 2012 columns, 14772 nonzeros Variable types: 0 continuous, 2012 integer (2012 binary) Root relaxation: objective 0.000000e+00, 471 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 416 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 439 - 0.00000 - - 1s 0 0 0.00000 0 400 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 396 - 0.00000 - - 6s 0 0 0.00000 0 386 - 0.00000 - - 7s 0 0 0.00000 0 387 - 0.00000 - - 8s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 0 0.00000 0 382 - 0.00000 - - 10s 0 0 0.00000 0 380 - 0.00000 - - 10s 0 0 0.00000 0 402 - 0.00000 - - 11s 0 0 0.00000 0 400 - 0.00000 - - 11s 0 2 0.00000 0 397 - 0.00000 - - 12s 93 33 0.00000 19 378 - 0.00000 - 227 15s 441 58 0.00000 24 390 - 0.00000 - 180 20s 605 69 0.00000 23 388 - 0.00000 - 174 27s 607 70 0.00000 16 394 - 0.00000 - 174 32s 609 71 0.00000 17 380 - 0.00000 - 173 36s 611 73 0.00000 20 370 - 0.00000 - 172 42s 613 74 0.00000 4 348 - 0.00000 - 172 47s 614 75 0.00000 20 340 - 0.00000 - 172 50s 616 76 0.00000 19 339 - 0.00000 - 171 55s 625 82 0.00000 15 519 - 0.00000 - 308 60s 725 95 infeasible 27 - 0.00000 - 303 65s 880 95 0.00000 24 392 - 0.00000 - 298 70s 1060 101 infeasible 26 - 0.00000 - 297 75s 1225 138 0.00000 28 401 - 0.00000 - 298 80s 1418 141 infeasible 26 - 0.00000 - 295 85s 1589 140 infeasible 24 - 0.00000 - 297 90s 1762 141 0.00000 26 388 - 0.00000 - 300 95s 1934 135 0.00000 19 398 - 0.00000 - 299 100s 2129 152 0.00000 22 386 - 0.00000 - 298 105s 2291 144 0.00000 20 386 - 0.00000 - 298 110s 2487 142 infeasible 25 - 0.00000 - 296 115s 2675 140 0.00000 17 388 - 0.00000 - 296 120s 2840 141 0.00000 23 402 - 0.00000 - 297 125s 3029 130 infeasible 24 - 0.00000 - 297 130s 3222 131 infeasible 23 - 0.00000 - 297 135s 3390 121 infeasible 29 - 0.00000 - 299 140s 3575 96 infeasible 26 - 0.00000 - 299 145s 3731 90 infeasible 25 - 0.00000 - 301 150s 3919 80 infeasible 28 - 0.00000 - 300 155s 4078 71 0.00000 18 461 - 0.00000 - 301 160s 4267 76 infeasible 24 - 0.00000 - 301 165s 4454 73 infeasible 26 - 0.00000 - 300 170s 4626 73 infeasible 27 - 0.00000 - 301 175s 4790 69 infeasible 27 - 0.00000 - 302 180s 4927 74 infeasible 28 - 0.00000 - 303 185s 5090 75 infeasible 28 - 0.00000 - 303 190s 5256 73 0.00000 24 396 - 0.00000 - 303 195s 5417 70 infeasible 25 - 0.00000 - 304 200s 5560 69 infeasible 25 - 0.00000 - 305 205s 5717 62 infeasible 25 - 0.00000 - 306 210s 5849 50 infeasible 25 - 0.00000 - 307 215s 6004 47 0.00000 24 394 - 0.00000 - 307 220s 6168 43 infeasible 25 - 0.00000 - 307 225s 6318 23 infeasible 20 - 0.00000 - 307 230s 6452 21 infeasible 27 - 0.00000 - 308 235s 6580 17 0.00000 18 511 - 0.00000 - 309 240s 6754 19 infeasible 24 - 0.00000 - 309 245s 6906 17 0.00000 25 492 - 0.00000 - 309 250s Cutting planes: Zero half: 11 Explored 7026 nodes (2260701 simplex iterations) in 254.59 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 14:28:59 2012 Optimize a model with 6013 rows, 2225 columns and 18465 nonzeros Presolve time: 0.02s Presolved: 6013 rows, 2225 columns, 18465 nonzeros Variable types: 0 continuous, 2225 integer (2225 binary) Root relaxation: objective 0.000000e+00, 497 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 394 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (12709 simplex iterations) in 1.63 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