current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:01:28 2012 Optimize a model with 86688 rows, 19333 columns and 277920 nonzeros Presolve time: 0.28s Presolved: 86688 rows, 19333 columns, 277920 nonzeros Variable types: 0 continuous, 19333 integer (19333 binary) Root relaxation: objective 0.000000e+00, 714 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 (1292 simplex iterations) in 0.55 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:01:30 2012 Optimize a model with 43440 rows, 10117 columns and 138960 nonzeros Presolve time: 0.15s Presolved: 43440 rows, 10117 columns, 138960 nonzeros Variable types: 0 continuous, 10117 integer (10117 binary) Root relaxation: objective 0.000000e+00, 518 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 (902 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:01:31 2012 Optimize a model with 21816 rows, 5509 columns and 69480 nonzeros Presolve time: 0.09s Presolved: 21816 rows, 5509 columns, 69480 nonzeros Variable types: 0 continuous, 5509 integer (5509 binary) Root relaxation: objective 0.000000e+00, 399 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 (751 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:01:31 2012 Optimize a model with 11004 rows, 3205 columns and 34740 nonzeros Presolve time: 0.03s Presolved: 11004 rows, 3205 columns, 34740 nonzeros Variable types: 0 continuous, 3205 integer (3205 binary) Root relaxation: objective 0.000000e+00, 422 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 (771 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:01:31 2012 Optimize a model with 5598 rows, 2053 columns and 17370 nonzeros Presolve time: 0.02s Presolved: 5598 rows, 2053 columns, 17370 nonzeros Variable types: 0 continuous, 2053 integer (2053 binary) Root relaxation: objective 0.000000e+00, 428 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 (1405 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 06:01:31 2012 Optimize a model with 2895 rows, 1477 columns and 8685 nonzeros Presolve time: 0.01s Presolved: 2895 rows, 1477 columns, 8685 nonzeros Variable types: 0 continuous, 1477 integer (1477 binary) Root relaxation: objective 0.000000e+00, 442 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 382 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4730 simplex iterations) in 0.60 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:01:32 2012 Optimize a model with 3796 rows, 1669 columns and 11580 nonzeros Presolve time: 0.01s Presolved: 3796 rows, 1669 columns, 11580 nonzeros Variable types: 0 continuous, 1669 integer (1669 binary) Root relaxation: objective 0.000000e+00, 454 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 368 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 419 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 3s 0 0 0.00000 0 312 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 4s 0 0 0.00000 0 309 - 0.00000 - - 4s 0 0 0.00000 0 314 - 0.00000 - - 5s 0 0 0.00000 0 312 - 0.00000 - - 5s 0 2 0.00000 0 302 - 0.00000 - - 6s 643 37 infeasible 13 - 0.00000 - 110 10s 1105 45 0.00000 11 316 - 0.00000 - 108 16s 1108 47 0.00000 15 287 - 0.00000 - 107 20s 1111 49 0.00000 15 244 - 0.00000 - 107 25s 1120 53 0.00000 14 330 - 0.00000 - 149 30s 1290 72 infeasible 29 - 0.00000 - 159 35s 1527 91 infeasible 25 - 0.00000 - 175 40s 1776 104 0.00000 26 434 - 0.00000 - 188 45s 2002 112 0.00000 24 387 - 0.00000 - 198 50s 2253 125 0.00000 23 452 - 0.00000 - 206 55s 2487 121 infeasible 25 - 0.00000 - 213 60s 2719 89 infeasible 24 - 0.00000 - 218 65s 2957 81 0.00000 21 406 - 0.00000 - 223 70s 3228 98 infeasible 23 - 0.00000 - 225 75s 3506 92 infeasible 29 - 0.00000 - 227 80s 3758 86 infeasible 28 - 0.00000 - 230 85s 4035 83 infeasible 31 - 0.00000 - 232 90s 4273 63 0.00000 25 334 - 0.00000 - 234 95s 4525 53 infeasible 27 - 0.00000 - 236 100s 4783 57 0.00000 26 420 - 0.00000 - 237 105s 5042 58 infeasible 27 - 0.00000 - 239 110s 5305 49 0.00000 22 434 - 0.00000 - 240 115s 5548 50 0.00000 23 418 - 0.00000 - 241 120s 5810 36 infeasible 25 - 0.00000 - 242 125s 6049 27 0.00000 25 415 - 0.00000 - 243 130s 6291 19 infeasible 26 - 0.00000 - 244 135s 6533 11 0.00000 28 342 - 0.00000 - 245 140s Cutting planes: Zero half: 13 Explored 6663 nodes (1681496 simplex iterations) in 142.50 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:03:55 2012 Optimize a model with 4697 rows, 1861 columns and 14475 nonzeros Presolve time: 0.01s Presolved: 4697 rows, 1861 columns, 14475 nonzeros Variable types: 0 continuous, 1861 integer (1861 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 128 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4243 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% optimal solution found: number of colors: 5