current bounds on the number of colors: 0 -- 201 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:35:26 2012 Optimize a model with 98901 rows, 21087 columns and 316200 nonzeros Presolve time: 0.33s Presolved: 98901 rows, 21087 columns, 316200 nonzeros Variable types: 0 continuous, 21087 integer (21087 binary) Root relaxation: objective 0.000000e+00, 787 iterations, 0.11 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 (1320 simplex iterations) in 0.60 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:35:28 2012 Optimize a model with 49551 rows, 11037 columns and 158100 nonzeros Presolve time: 0.17s Presolved: 49551 rows, 11037 columns, 158100 nonzeros Variable types: 0 continuous, 11037 integer (11037 binary) Root relaxation: objective 0.000000e+00, 669 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 (1134 simplex iterations) in 0.29 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 09:35:29 2012 Optimize a model with 24876 rows, 6012 columns and 79050 nonzeros Presolve time: 0.10s Presolved: 24876 rows, 6012 columns, 79050 nonzeros Variable types: 0 continuous, 6012 integer (6012 binary) Root relaxation: objective 0.000000e+00, 485 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 (885 simplex iterations) in 0.16 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 09:35:30 2012 Optimize a model with 12045 rows, 3399 columns and 37944 nonzeros Presolve time: 0.04s Presolved: 12045 rows, 3399 columns, 37944 nonzeros Variable types: 0 continuous, 3399 integer (3399 binary) Root relaxation: objective 0.000000e+00, 416 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 (775 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 09:35:30 2012 Optimize a model with 6123 rows, 2193 columns and 18972 nonzeros Presolve time: 0.02s Presolved: 6123 rows, 2193 columns, 18972 nonzeros Variable types: 0 continuous, 2193 integer (2193 binary) Root relaxation: objective 0.000000e+00, 432 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 (1425 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:35:30 2012 Optimize a model with 3162 rows, 1590 columns and 9486 nonzeros Presolve time: 0.01s Presolved: 3162 rows, 1590 columns, 9486 nonzeros Variable types: 0 continuous, 1590 integer (1590 binary) Root relaxation: objective 0.000000e+00, 464 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 306 - 0.00000 - - 0s 0 0 0.00000 0 413 - 0.00000 - - 0s 0 0 0.00000 0 520 - 0.00000 - - 1s 0 0 0.00000 0 528 - 0.00000 - - 1s 0 0 0.00000 0 533 - 0.00000 - - 2s 0 0 0.00000 0 535 - 0.00000 - - 3s 0 0 infeasible 0 - 0.10000 - - 3s Cutting planes: Zero half: 974 Explored 0 nodes (20641 simplex iterations) in 3.55 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 09:35:34 2012 Optimize a model with 4149 rows, 1791 columns and 12648 nonzeros Presolve time: 0.01s Presolved: 4149 rows, 1791 columns, 12648 nonzeros Variable types: 0 continuous, 1791 integer (1791 binary) Root relaxation: objective 0.000000e+00, 443 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 388 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 405 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 3s 0 0 0.00000 0 351 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 2 0.00000 0 352 - 0.00000 - - 6s 560 50 infeasible 19 - 0.00000 - 111 10s 613 64 0.00000 8 350 - 0.00000 - 111 15s 616 66 0.00000 9 336 - 0.00000 - 110 21s 618 67 0.00000 15 324 - 0.00000 - 110 25s 621 69 0.00000 14 312 - 0.00000 - 109 30s 684 83 infeasible 22 - 0.00000 - 220 35s 1030 30 0.00000 24 338 - 0.00000 - 214 40s 1315 41 0.00000 25 348 - 0.00000 - 215 45s 1623 35 infeasible 22 - 0.00000 - 215 50s 1882 20 0.00000 20 400 - 0.00000 - 220 55s 2147 19 infeasible 31 - 0.00000 - 222 60s 2388 42 infeasible 32 - 0.00000 - 225 65s 2704 100 infeasible 32 - 0.00000 - 223 70s 2943 99 infeasible 28 - 0.00000 - 226 75s 3276 108 0.00000 29 358 - 0.00000 - 225 80s 3534 106 infeasible 29 - 0.00000 - 227 85s 3781 109 0.00000 28 348 - 0.00000 - 230 90s 4070 98 0.00000 30 340 - 0.00000 - 231 95s 4316 60 infeasible 30 - 0.00000 - 233 100s 4606 72 infeasible 26 - 0.00000 - 233 105s 4922 58 0.00000 21 348 - 0.00000 - 232 110s 5220 70 0.00000 24 396 - 0.00000 - 232 115s 5486 68 0.00000 23 356 - 0.00000 - 233 120s 5756 68 infeasible 27 - 0.00000 - 233 125s 5980 56 infeasible 25 - 0.00000 - 234 130s 6266 60 0.00000 23 381 - 0.00000 - 234 135s 6543 43 infeasible 24 - 0.00000 - 234 140s 6769 35 0.00000 24 398 - 0.00000 - 236 145s 7027 77 0.00000 27 370 - 0.00000 - 236 150s 7282 64 infeasible 31 - 0.00000 - 237 155s 7569 61 0.00000 24 336 - 0.00000 - 237 160s 7850 58 infeasible 25 - 0.00000 - 236 165s 8157 55 infeasible 31 - 0.00000 - 236 170s 8470 56 infeasible 32 - 0.00000 - 235 175s 8775 45 0.00000 27 370 - 0.00000 - 235 180s 9049 51 infeasible 27 - 0.00000 - 236 185s 9322 30 infeasible 25 - 0.00000 - 236 190s 9532 22 infeasible 27 - 0.00000 - 237 195s 9743 13 0.00000 24 416 - 0.00000 - 238 200s 9946 6 infeasible 23 - 0.00000 - 239 205s 10163 5 infeasible 22 - 0.00000 - 240 210s Cutting planes: Zero half: 19 Explored 10381 nodes (2536075 simplex iterations) in 214.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 09:39:09 2012 Optimize a model with 5136 rows, 1992 columns and 15810 nonzeros Presolve time: 0.01s Presolved: 5136 rows, 1992 columns, 15810 nonzeros Variable types: 0 continuous, 1992 integer (1992 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.00000 0 145 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3894 simplex iterations) in 0.26 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