current bounds on the number of colors: 0 -- 201 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:31:03 2012 Optimize a model with 101501 rows, 21113 columns and 324000 nonzeros Presolve time: 0.34s Presolved: 101501 rows, 21113 columns, 324000 nonzeros Variable types: 0 continuous, 21113 integer (21113 binary) Root relaxation: objective 0.000000e+00, 868 iterations, 0.11 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 (1323 simplex iterations) in 0.60 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:31:05 2012 Optimize a model with 50851 rows, 11063 columns and 162000 nonzeros Presolve time: 0.17s Presolved: 50851 rows, 11063 columns, 162000 nonzeros Variable types: 0 continuous, 11063 integer (11063 binary) Root relaxation: objective 0.000000e+00, 801 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 (1258 simplex iterations) in 0.30 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 09:31:06 2012 Optimize a model with 25526 rows, 6038 columns and 81000 nonzeros Presolve time: 0.10s Presolved: 25526 rows, 6038 columns, 81000 nonzeros Variable types: 0 continuous, 6038 integer (6038 binary) Root relaxation: objective 0.000000e+00, 432 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 (786 simplex iterations) in 0.15 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 09:31:06 2012 Optimize a model with 12357 rows, 3425 columns and 38880 nonzeros Presolve time: 0.04s Presolved: 12357 rows, 3425 columns, 38880 nonzeros Variable types: 0 continuous, 3425 integer (3425 binary) Root relaxation: objective 0.000000e+00, 420 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 (756 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 09:31:06 2012 Optimize a model with 6279 rows, 2219 columns and 19440 nonzeros Presolve time: 0.02s Presolved: 6279 rows, 2219 columns, 19440 nonzeros Variable types: 0 continuous, 2219 integer (2219 binary) Root relaxation: objective 0.000000e+00, 420 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 (1853 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 09:31:06 2012 Optimize a model with 3240 rows, 1616 columns and 9720 nonzeros Presolve time: 0.01s Presolved: 3240 rows, 1616 columns, 9720 nonzeros Variable types: 0 continuous, 1616 integer (1616 binary) Root relaxation: objective 0.000000e+00, 445 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 400 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 548 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 40 Zero half: 1086 Explored 0 nodes (9165 simplex iterations) in 1.49 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 09:31:08 2012 Optimize a model with 4253 rows, 1817 columns and 12960 nonzeros Presolve time: 0.01s Presolved: 4253 rows, 1817 columns, 12960 nonzeros Variable types: 0 continuous, 1817 integer (1817 binary) Root relaxation: objective 0.000000e+00, 451 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 392 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 341 - 0.00000 - - 6s 0 0 0.00000 0 328 - 0.00000 - - 7s 0 0 0.00000 0 324 - 0.00000 - - 7s 0 0 0.00000 0 320 - 0.00000 - - 8s 0 0 0.00000 0 316 - 0.00000 - - 9s 0 0 0.00000 0 320 - 0.00000 - - 10s 0 0 0.00000 0 320 - 0.00000 - - 10s 0 2 0.00000 0 320 - 0.00000 - - 11s 377 60 infeasible 24 - 0.00000 - 152 15s 605 114 0.00000 16 348 - 0.00000 - 140 20s 608 116 0.00000 20 319 - 0.00000 - 139 25s 611 118 0.00000 16 296 - 0.00000 - 138 31s 614 120 0.00000 3 306 - 0.00000 - 138 37s 616 121 0.00000 16 289 - 0.00000 - 137 42s 618 122 0.00000 19 303 - 0.00000 - 137 46s 620 124 0.00000 14 389 - 0.00000 - 136 50s 628 129 0.00000 13 444 - 0.00000 - 304 55s 749 110 0.00000 24 433 - 0.00000 - 295 60s 940 37 0.00000 20 356 - 0.00000 - 294 65s 1147 35 infeasible 26 - 0.00000 - 290 70s 1391 55 0.00000 24 362 - 0.00000 - 282 75s 1683 61 infeasible 28 - 0.00000 - 272 80s 1916 52 0.00000 30 388 - 0.00000 - 270 85s 2134 64 0.00000 24 442 - 0.00000 - 270 90s 2352 68 infeasible 21 - 0.00000 - 269 95s 2601 79 infeasible 28 - 0.00000 - 267 100s 2816 92 0.00000 28 364 - 0.00000 - 268 105s 3033 85 0.00000 25 356 - 0.00000 - 270 110s 3281 75 0.00000 31 376 - 0.00000 - 269 115s 3503 81 0.00000 31 377 - 0.00000 - 270 120s 3705 75 0.00000 25 366 - 0.00000 - 272 125s 3898 64 infeasible 23 - 0.00000 - 273 130s 4136 68 0.00000 27 356 - 0.00000 - 273 135s 4404 96 infeasible 23 - 0.00000 - 271 140s 4635 95 0.00000 24 382 - 0.00000 - 271 145s 4883 111 0.00000 30 370 - 0.00000 - 270 150s 5080 106 infeasible 23 - 0.00000 - 272 155s 5288 100 0.00000 21 352 - 0.00000 - 273 160s 5497 97 0.00000 25 426 - 0.00000 - 274 165s 5715 113 0.00000 25 404 - 0.00000 - 274 170s 5952 108 infeasible 25 - 0.00000 - 274 175s 6179 107 infeasible 21 - 0.00000 - 275 180s 6418 98 0.00000 23 362 - 0.00000 - 274 185s 6636 82 0.00000 23 433 - 0.00000 - 274 190s 6865 77 infeasible 24 - 0.00000 - 274 195s 7085 87 infeasible 29 - 0.00000 - 274 200s 7280 68 0.00000 26 358 - 0.00000 - 275 205s 7471 53 infeasible 24 - 0.00000 - 276 210s 7715 59 infeasible 24 - 0.00000 - 275 215s 7923 49 infeasible 22 - 0.00000 - 276 220s 8109 31 infeasible 24 - 0.00000 - 276 225s 8303 37 0.00000 24 462 - 0.00000 - 277 230s 8514 30 0.00000 18 391 - 0.00000 - 277 235s 8733 19 0.00000 24 362 - 0.00000 - 277 240s 8981 15 0.00000 20 368 - 0.00000 - 277 245s 9191 11 infeasible 24 - 0.00000 - 277 250s 9373 5 infeasible 26 - 0.00000 - 278 255s Cutting planes: Zero half: 25 Explored 9405 nodes (2692139 simplex iterations) in 255.90 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 09:35:24 2012 Optimize a model with 5266 rows, 2018 columns and 16200 nonzeros Presolve time: 0.01s Presolved: 5266 rows, 2018 columns, 16200 nonzeros Variable types: 0 continuous, 2018 integer (2018 binary) Root relaxation: objective 0.000000e+00, 446 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 380 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2449 simplex iterations) in 0.14 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