current bounds on the number of colors: 0 -- 204 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:37:23 2012 Optimize a model with 112812 rows, 21912 columns and 358632 nonzeros Presolve time: 0.38s Presolved: 112812 rows, 21912 columns, 358632 nonzeros Variable types: 0 continuous, 21912 integer (21912 binary) Root relaxation: objective 0.000000e+00, 547 iterations, 0.14 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 (1264 simplex iterations) in 0.77 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:37:25 2012 Optimize a model with 56508 rows, 11508 columns and 179316 nonzeros Presolve time: 0.17s Presolved: 56508 rows, 11508 columns, 179316 nonzeros Variable types: 0 continuous, 11508 integer (11508 binary) Root relaxation: objective 0.000000e+00, 524 iterations, 0.03 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 (1178 simplex iterations) in 0.33 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:37:26 2012 Optimize a model with 27804 rows, 6204 columns and 87900 nonzeros Presolve time: 0.11s Presolved: 27804 rows, 6204 columns, 87900 nonzeros Variable types: 0 continuous, 6204 integer (6204 binary) Root relaxation: objective 0.000000e+00, 428 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 (788 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:37:26 2012 Optimize a model with 13452 rows, 3552 columns and 42192 nonzeros Presolve time: 0.04s Presolved: 13452 rows, 3552 columns, 42192 nonzeros Variable types: 0 continuous, 3552 integer (3552 binary) Root relaxation: objective 0.000000e+00, 440 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 (800 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:37:27 2012 Optimize a model with 6828 rows, 2328 columns and 21096 nonzeros Presolve time: 0.02s Presolved: 6828 rows, 2328 columns, 21096 nonzeros Variable types: 0 continuous, 2328 integer (2328 binary) Root relaxation: objective 0.000000e+00, 444 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 (1534 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:37:27 2012 Optimize a model with 3516 rows, 1716 columns and 10548 nonzeros Presolve time: 0.01s Presolved: 3516 rows, 1716 columns, 10548 nonzeros Variable types: 0 continuous, 1716 integer (1716 binary) Root relaxation: objective 0.000000e+00, 472 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 320 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7520 simplex iterations) in 1.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: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:37:28 2012 Optimize a model with 4620 rows, 1920 columns and 14064 nonzeros Presolve time: 0.01s Presolved: 4620 rows, 1920 columns, 14064 nonzeros Variable types: 0 continuous, 1920 integer (1920 binary) Root relaxation: objective 0.000000e+00, 476 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 398 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 509 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 3s 0 0 0.00000 0 388 - 0.00000 - - 4s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 388 - 0.00000 - - 7s 0 0 0.00000 0 388 - 0.00000 - - 7s 0 2 0.00000 0 388 - 0.00000 - - 9s 20 20 0.00000 15 469 - 0.00000 - 485 10s 307 44 0.00000 20 356 - 0.00000 - 197 15s 601 67 0.00000 13 390 - 0.00000 - 181 20s 605 70 0.00000 14 376 - 0.00000 - 180 25s 608 72 0.00000 15 362 - 0.00000 - 179 31s 610 73 0.00000 15 356 - 0.00000 - 178 36s 612 74 0.00000 26 336 - 0.00000 - 178 42s 613 75 0.00000 12 345 - 0.00000 - 177 45s 720 68 infeasible 22 - 0.00000 - 285 50s 853 36 0.00000 21 368 - 0.00000 - 294 55s 979 30 0.00000 21 462 - 0.00000 - 304 60s 1110 25 0.00000 21 498 - 0.00000 - 309 65s 1254 27 infeasible 20 - 0.00000 - 311 70s 1376 3 infeasible 19 - 0.00000 - 317 75s 1509 2 infeasible 15 - 0.00000 - 321 80s Cutting planes: Zero half: 7 Explored 1524 nodes (540643 simplex iterations) in 80.65 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:38:49 2012 Optimize a model with 5724 rows, 2124 columns and 17580 nonzeros Presolve time: 0.02s Presolved: 5724 rows, 2124 columns, 17580 nonzeros Variable types: 0 continuous, 2124 integer (2124 binary) Root relaxation: objective 0.000000e+00, 444 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 394 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 3s 0 0 0.00000 0 244 - 0.00000 - - 3s 0 0 0.00000 0 234 - 0.00000 - - 3s 0 0 0.00000 0 222 - 0.00000 - - 4s 0 0 0.00000 0 227 - 0.00000 - - 4s 0 0 0.00000 0 222 - 0.00000 - - 4s 0 0 0.00000 0 198 - 0.00000 - - 5s 0 0 0.00000 0 205 - 0.00000 - - 5s 0 0 0.00000 0 205 - 0.00000 - - 6s 0 2 0.00000 0 204 - 0.00000 - - 7s * 75 4 51 0.0000000 0.00000 0.0% 110 8s Cutting planes: Clique: 1 Zero half: 9 Explored 76 nodes (60634 simplex iterations) in 8.71 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