current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:07:21 2012 Optimize a model with 91104 rows, 19379 columns and 291168 nonzeros Presolve time: 0.30s Presolved: 91104 rows, 19379 columns, 291168 nonzeros Variable types: 0 continuous, 19379 integer (19379 binary) Root relaxation: objective 0.000000e+00, 711 iterations, 0.08 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 (1151 simplex iterations) in 0.51 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 06:07:23 2012 Optimize a model with 45648 rows, 10163 columns and 145584 nonzeros Presolve time: 0.15s Presolved: 45648 rows, 10163 columns, 145584 nonzeros Variable types: 0 continuous, 10163 integer (10163 binary) Root relaxation: objective 0.000000e+00, 497 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 (871 simplex iterations) in 0.24 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 06:07:24 2012 Optimize a model with 22920 rows, 5555 columns and 72792 nonzeros Presolve time: 0.09s Presolved: 22920 rows, 5555 columns, 72792 nonzeros Variable types: 0 continuous, 5555 integer (5555 binary) Root relaxation: objective 0.000000e+00, 430 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 (789 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:07:24 2012 Optimize a model with 11556 rows, 3251 columns and 36396 nonzeros Presolve time: 0.04s Presolved: 11556 rows, 3251 columns, 36396 nonzeros Variable types: 0 continuous, 3251 integer (3251 binary) Root relaxation: objective 0.000000e+00, 391 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 (733 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 06:07:24 2012 Optimize a model with 5874 rows, 2099 columns and 18198 nonzeros Presolve time: 0.02s Presolved: 5874 rows, 2099 columns, 18198 nonzeros Variable types: 0 continuous, 2099 integer (2099 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 (1279 simplex iterations) in 0.05 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 06:07:25 2012 Optimize a model with 3033 rows, 1523 columns and 9099 nonzeros Presolve time: 0.01s Presolved: 3033 rows, 1523 columns, 9099 nonzeros Variable types: 0 continuous, 1523 integer (1523 binary) Root relaxation: objective 0.000000e+00, 448 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 376 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5125 simplex iterations) in 0.63 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 06:07:25 2012 Optimize a model with 3980 rows, 1715 columns and 12132 nonzeros Presolve time: 0.01s Presolved: 3980 rows, 1715 columns, 12132 nonzeros Variable types: 0 continuous, 1715 integer (1715 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 364 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 3s 0 0 0.00000 0 340 - 0.00000 - - 3s 0 2 0.00000 0 340 - 0.00000 - - 4s 74 15 0.00000 10 369 - 0.00000 - 167 5s 703 36 0.00000 8 356 - 0.00000 - 125 10s 707 39 0.00000 21 326 - 0.00000 - 124 15s 711 42 0.00000 14 302 - 0.00000 - 123 21s 714 44 0.00000 22 294 - 0.00000 - 123 26s 719 47 infeasible 11 - 0.00000 - 213 30s 1001 49 infeasible 21 - 0.00000 - 219 35s 1310 62 infeasible 19 - 0.00000 - 220 40s 1573 47 infeasible 22 - 0.00000 - 227 45s 1835 33 infeasible 20 - 0.00000 - 232 50s 2075 31 infeasible 17 - 0.00000 - 237 55s 2305 11 infeasible 21 - 0.00000 - 240 60s Cutting planes: Zero half: 7 Explored 2439 nodes (623410 simplex iterations) in 63.29 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 06:08:29 2012 Optimize a model with 4927 rows, 1907 columns and 15165 nonzeros Presolve time: 0.01s Presolved: 4927 rows, 1907 columns, 15165 nonzeros Variable types: 0 continuous, 1907 integer (1907 binary) Root relaxation: objective 0.000000e+00, 424 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 126 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3798 simplex iterations) in 0.27 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