current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:51:02 2012 Optimize a model with 102117 rows, 20346 columns and 325066 nonzeros Presolve time: 0.33s Presolved: 102117 rows, 20346 columns, 325066 nonzeros Variable types: 0 continuous, 20346 integer (20346 binary) Root relaxation: objective 0.000000e+00, 513 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 (915 simplex iterations) in 0.59 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:51:04 2012 Optimize a model with 51157 rows, 10693 columns and 162533 nonzeros Presolve time: 0.17s Presolved: 51157 rows, 10693 columns, 162533 nonzeros Variable types: 0 continuous, 10693 integer (10693 binary) Root relaxation: objective 0.000000e+00, 614 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 (1025 simplex iterations) in 0.28 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:51:05 2012 Optimize a model with 25157 rows, 5768 columns and 79608 nonzeros Presolve time: 0.10s Presolved: 25157 rows, 5768 columns, 79608 nonzeros Variable types: 0 continuous, 5768 integer (5768 binary) Root relaxation: objective 0.000000e+00, 450 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 (812 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:51:05 2012 Optimize a model with 12677 rows, 3404 columns and 39804 nonzeros Presolve time: 0.04s Presolved: 12677 rows, 3404 columns, 39804 nonzeros Variable types: 0 continuous, 3404 integer (3404 binary) Root relaxation: objective 0.000000e+00, 402 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 (745 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 07:51:05 2012 Optimize a model with 6437 rows, 2222 columns and 19902 nonzeros Presolve time: 0.02s Presolved: 6437 rows, 2222 columns, 19902 nonzeros Variable types: 0 continuous, 2222 integer (2222 binary) Root relaxation: objective 0.000000e+00, 417 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 (2782 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:51:06 2012 Optimize a model with 3317 rows, 1631 columns and 9951 nonzeros Presolve time: 0.01s Presolved: 3317 rows, 1631 columns, 9951 nonzeros Variable types: 0 continuous, 1631 integer (1631 binary) Root relaxation: objective 0.000000e+00, 503 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 302 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 546 - 0.00000 - - 1s 0 0 0.00000 0 554 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Zero half: 1379 Explored 0 nodes (8778 simplex iterations) in 1.73 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 07:51:07 2012 Optimize a model with 4357 rows, 1828 columns and 13268 nonzeros Presolve time: 0.01s Presolved: 4357 rows, 1828 columns, 13268 nonzeros Variable types: 0 continuous, 1828 integer (1828 binary) Root relaxation: objective 0.000000e+00, 455 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 372 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 547 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 339 - 0.00000 - - 6s 0 0 0.00000 0 328 - 0.00000 - - 7s 0 0 0.00000 0 330 - 0.00000 - - 7s 0 0 0.00000 0 344 - 0.00000 - - 8s 0 0 0.00000 0 324 - 0.00000 - - 9s 0 0 0.00000 0 329 - 0.00000 - - 10s 0 0 0.00000 0 329 - 0.00000 - - 11s 0 2 0.00000 0 328 - 0.00000 - - 11s 185 35 0.00000 15 352 - 0.00000 - 159 15s 522 112 0.00000 25 348 - 0.00000 - 160 20s 609 127 0.00000 9 350 - 0.00000 - 159 28s 610 127 0.00000 21 364 - 0.00000 - 159 30s 613 129 0.00000 14 322 - 0.00000 - 158 37s 615 131 0.00000 13 304 - 0.00000 - 157 41s 617 132 0.00000 9 324 - 0.00000 - 157 46s 624 137 0.00000 14 467 - 0.00000 - 261 50s 709 115 infeasible 25 - 0.00000 - 267 55s 843 81 0.00000 24 438 - 0.00000 - 275 60s 968 38 infeasible 25 - 0.00000 - 286 65s 1106 35 infeasible 23 - 0.00000 - 293 70s 1219 12 infeasible 22 - 0.00000 - 300 75s 1351 10 0.00000 19 396 - 0.00000 - 302 80s 1513 4 infeasible 23 - 0.00000 - 301 85s Cutting planes: Gomory: 1 Zero half: 12 Explored 1572 nodes (551787 simplex iterations) in 87.87 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 07:52:35 2012 Optimize a model with 5397 rows, 2025 columns and 16585 nonzeros Presolve time: 0.01s Presolved: 5397 rows, 2025 columns, 16585 nonzeros Variable types: 0 continuous, 2025 integer (2025 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.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 419 - 0.00000 - - 2s 0 0 0.00000 0 46 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (23927 simplex iterations) in 2.87 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