current bounds on the number of colors: 0 -- 207 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:14:36 2012 Optimize a model with 113301 rows, 22419 columns and 360603 nonzeros Presolve time: 0.38s Presolved: 113301 rows, 22419 columns, 360603 nonzeros Variable types: 0 continuous, 22419 integer (22419 binary) Root relaxation: objective 0.000000e+00, 548 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 (1002 simplex iterations) in 0.69 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:14:38 2012 Optimize a model with 56205 rows, 11655 columns and 178551 nonzeros Presolve time: 0.17s Presolved: 56205 rows, 11655 columns, 178551 nonzeros Variable types: 0 continuous, 11655 integer (11655 binary) Root relaxation: objective 0.000000e+00, 582 iterations, 0.04 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 (1251 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 12:14:39 2012 Optimize a model with 27657 rows, 6273 columns and 87525 nonzeros Presolve time: 0.11s Presolved: 27657 rows, 6273 columns, 87525 nonzeros Variable types: 0 continuous, 6273 integer (6273 binary) Root relaxation: objective 0.000000e+00, 502 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 (919 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 12:14:40 2012 Optimize a model with 13383 rows, 3582 columns and 42012 nonzeros Presolve time: 0.04s Presolved: 13383 rows, 3582 columns, 42012 nonzeros Variable types: 0 continuous, 3582 integer (3582 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 (821 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 12:14:40 2012 Optimize a model with 6795 rows, 2340 columns and 21006 nonzeros Presolve time: 0.02s Presolved: 6795 rows, 2340 columns, 21006 nonzeros Variable types: 0 continuous, 2340 integer (2340 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1867 simplex iterations) in 0.10 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 12:14:40 2012 Optimize a model with 3501 rows, 1719 columns and 10503 nonzeros Presolve time: 0.01s Presolved: 3501 rows, 1719 columns, 10503 nonzeros Variable types: 0 continuous, 1719 integer (1719 binary) Root relaxation: objective 0.000000e+00, 469 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 410 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 583 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 33 Zero half: 1520 Explored 0 nodes (9153 simplex iterations) in 1.58 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 12:14:42 2012 Optimize a model with 4599 rows, 1926 columns and 14004 nonzeros Presolve time: 0.01s Presolved: 4599 rows, 1926 columns, 14004 nonzeros Variable types: 0 continuous, 1926 integer (1926 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.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 452 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 3s 0 0 0.00000 0 383 - 0.00000 - - 4s 0 0 0.00000 0 386 - 0.00000 - - 5s 0 0 0.00000 0 376 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 393 - 0.00000 - - 7s 0 0 0.00000 0 368 - 0.00000 - - 8s 0 2 0.00000 0 368 - 0.00000 - - 9s 20 18 infeasible 14 - 0.00000 - 381 10s 382 65 infeasible 9 - 0.00000 - 173 15s 604 87 0.00000 18 571 - 0.00000 - 169 20s 606 88 0.00000 8 372 - 0.00000 - 168 26s 607 89 0.00000 17 360 - 0.00000 - 168 30s 610 91 0.00000 15 357 - 0.00000 - 167 37s 612 92 0.00000 8 350 - 0.00000 - 166 42s 614 94 0.00000 13 342 - 0.00000 - 166 47s 617 96 0.00000 15 344 - 0.00000 - 165 50s 726 74 0.00000 17 439 - 0.00000 - 307 55s 859 27 infeasible 21 - 0.00000 - 313 60s Cutting planes: Zero half: 14 Explored 914 nodes (350588 simplex iterations) in 62.91 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 12:15:45 2012 Optimize a model with 5697 rows, 2133 columns and 17505 nonzeros Presolve time: 0.02s Presolved: 5697 rows, 2133 columns, 17505 nonzeros Variable types: 0 continuous, 2133 integer (2133 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 208 - 0.00000 - - 0s 0 0 0.00000 0 269 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (17089 simplex iterations) in 2.13 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