current bounds on the number of colors: 0 -- 203 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:31:13 2012 Optimize a model with 104132 rows, 21532 columns and 332290 nonzeros Presolve time: 0.35s Presolved: 104132 rows, 21532 columns, 332290 nonzeros Variable types: 0 continuous, 21532 integer (21532 binary) Root relaxation: objective 0.000000e+00, 831 iterations, 0.10 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 (1316 simplex iterations) in 0.62 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:31:15 2012 Optimize a model with 51653 rows, 11179 columns and 164500 nonzeros Presolve time: 0.17s Presolved: 51653 rows, 11179 columns, 164500 nonzeros Variable types: 0 continuous, 11179 integer (11179 binary) Root relaxation: objective 0.000000e+00, 659 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 (1123 simplex iterations) in 0.28 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:31:15 2012 Optimize a model with 25928 rows, 6104 columns and 82250 nonzeros Presolve time: 0.11s Presolved: 25928 rows, 6104 columns, 82250 nonzeros Variable types: 0 continuous, 6104 integer (6104 binary) Root relaxation: objective 0.000000e+00, 459 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:31:16 2012 Optimize a model with 12551 rows, 3465 columns and 39480 nonzeros Presolve time: 0.04s Presolved: 12551 rows, 3465 columns, 39480 nonzeros Variable types: 0 continuous, 3465 integer (3465 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (772 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:31:16 2012 Optimize a model with 6377 rows, 2247 columns and 19740 nonzeros Presolve time: 0.02s Presolved: 6377 rows, 2247 columns, 19740 nonzeros Variable types: 0 continuous, 2247 integer (2247 binary) Root relaxation: objective 0.000000e+00, 433 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 (2541 simplex iterations) in 0.12 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:31:16 2012 Optimize a model with 3290 rows, 1638 columns and 9870 nonzeros Presolve time: 0.01s Presolved: 3290 rows, 1638 columns, 9870 nonzeros Variable types: 0 continuous, 1638 integer (1638 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 400 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5694 simplex iterations) in 0.79 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:31:17 2012 Optimize a model with 4319 rows, 1841 columns and 13160 nonzeros Presolve time: 0.01s Presolved: 4319 rows, 1841 columns, 13160 nonzeros Variable types: 0 continuous, 1841 integer (1841 binary) Root relaxation: objective 0.000000e+00, 453 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 396 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 499 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 2 0.00000 0 370 - 0.00000 - - 6s 258 29 infeasible 28 - 0.00000 - 178 10s 620 16 0.00000 22 447 - 0.00000 - 175 15s 711 27 0.00000 15 370 - 0.00000 - 171 22s 713 28 0.00000 21 358 - 0.00000 - 171 25s 715 29 0.00000 13 354 - 0.00000 - 170 30s 718 31 0.00000 16 362 - 0.00000 - 169 36s 720 33 0.00000 21 336 - 0.00000 - 169 40s 722 34 0.00000 12 318 - 0.00000 - 168 45s 725 36 0.00000 4 319 - 0.00000 - 168 50s 734 42 0.00000 18 497 - 0.00000 - 298 55s 846 50 0.00000 24 437 - 0.00000 - 294 60s 1006 54 infeasible 25 - 0.00000 - 297 65s 1163 63 infeasible 27 - 0.00000 - 300 70s 1334 64 0.00000 24 440 - 0.00000 - 302 75s 1494 58 0.00000 27 352 - 0.00000 - 303 80s 1653 37 infeasible 28 - 0.00000 - 306 85s 1773 21 infeasible 26 - 0.00000 - 313 90s 1907 7 0.00000 24 450 - 0.00000 - 316 95s Cutting planes: Zero half: 19 Explored 1967 nodes (661120 simplex iterations) in 97.15 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:32:55 2012 Optimize a model with 5348 rows, 2044 columns and 16450 nonzeros Presolve time: 0.01s Presolved: 5348 rows, 2044 columns, 16450 nonzeros Variable types: 0 continuous, 2044 integer (2044 binary) Root relaxation: objective 0.000000e+00, 425 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 362 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (8722 simplex iterations) in 0.94 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