current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:52:01 2012 Optimize a model with 87456 rows, 19341 columns and 280224 nonzeros Presolve time: 0.29s Presolved: 87456 rows, 19341 columns, 280224 nonzeros Variable types: 0 continuous, 19341 integer (19341 binary) Root relaxation: objective 0.000000e+00, 806 iterations, 0.09 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 (1229 simplex iterations) in 0.50 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:52:03 2012 Optimize a model with 43824 rows, 10125 columns and 140112 nonzeros Presolve time: 0.15s Presolved: 43824 rows, 10125 columns, 140112 nonzeros Variable types: 0 continuous, 10125 integer (10125 binary) Root relaxation: objective 0.000000e+00, 676 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 (1247 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:52:04 2012 Optimize a model with 22008 rows, 5517 columns and 70056 nonzeros Presolve time: 0.09s Presolved: 22008 rows, 5517 columns, 70056 nonzeros Variable types: 0 continuous, 5517 integer (5517 binary) Root relaxation: objective 0.000000e+00, 458 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 (833 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 05:52:04 2012 Optimize a model with 11100 rows, 3213 columns and 35028 nonzeros Presolve time: 0.03s Presolved: 11100 rows, 3213 columns, 35028 nonzeros Variable types: 0 continuous, 3213 integer (3213 binary) Root relaxation: objective 0.000000e+00, 408 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 (763 simplex iterations) in 0.06 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 05:52:04 2012 Optimize a model with 5646 rows, 2061 columns and 17514 nonzeros Presolve time: 0.02s Presolved: 5646 rows, 2061 columns, 17514 nonzeros Variable types: 0 continuous, 2061 integer (2061 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 (1381 simplex iterations) in 0.06 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 05:52:04 2012 Optimize a model with 2919 rows, 1485 columns and 8757 nonzeros Presolve time: 0.01s Presolved: 2919 rows, 1485 columns, 8757 nonzeros Variable types: 0 continuous, 1485 integer (1485 binary) Root relaxation: objective 0.000000e+00, 437 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 380 - 0.00000 - - 0s 0 0 0.00000 0 484 - 0.00000 - - 0s 0 0 0.00000 0 522 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 834 Explored 0 nodes (9220 simplex iterations) in 1.31 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 05:52:06 2012 Optimize a model with 3828 rows, 1677 columns and 11676 nonzeros Presolve time: 0.01s Presolved: 3828 rows, 1677 columns, 11676 nonzeros Variable types: 0 continuous, 1677 integer (1677 binary) Root relaxation: objective 0.000000e+00, 419 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 378 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 2 0.00000 0 328 - 0.00000 - - 4s 48 34 0.00000 17 336 - 0.00000 - 200 5s 705 81 0.00000 9 370 - 0.00000 - 132 10s 709 84 0.00000 20 337 - 0.00000 - 131 15s 712 86 0.00000 13 276 - 0.00000 - 131 20s 716 89 0.00000 15 262 - 0.00000 - 130 26s 827 67 0.00000 23 342 - 0.00000 - 213 30s 1133 16 infeasible 30 - 0.00000 - 218 35s 1372 23 0.00000 32 330 - 0.00000 - 230 40s 1697 36 0.00000 30 367 - 0.00000 - 229 45s 2017 18 infeasible 29 - 0.00000 - 230 50s 2301 8 0.00000 27 404 - 0.00000 - 233 55s Cutting planes: Zero half: 5 Explored 2346 nodes (580012 simplex iterations) in 55.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 05:53:02 2012 Optimize a model with 4737 rows, 1869 columns and 14595 nonzeros Presolve time: 0.01s Presolved: 4737 rows, 1869 columns, 14595 nonzeros Variable types: 0 continuous, 1869 integer (1869 binary) Root relaxation: objective 0.000000e+00, 414 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 69 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4076 simplex iterations) in 0.31 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