current bounds on the number of colors: 0 -- 179 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:17:46 2012 Optimize a model with 74494 rows, 16766 columns and 238876 nonzeros Presolve time: 0.23s Presolved: 74494 rows, 16766 columns, 238876 nonzeros Variable types: 0 continuous, 16766 integer (16766 binary) Root relaxation: objective 0.000000e+00, 643 iterations, 0.06 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 (1050 simplex iterations) in 0.41 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 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:17:47 2012 Optimize a model with 36919 rows, 8711 columns and 118096 nonzeros Presolve time: 0.15s Presolved: 36919 rows, 8711 columns, 118096 nonzeros Variable types: 0 continuous, 8711 integer (8711 binary) Root relaxation: objective 0.000000e+00, 586 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 (983 simplex iterations) in 0.25 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:17:48 2012 Optimize a model with 18549 rows, 4773 columns and 59048 nonzeros Presolve time: 0.07s Presolved: 18549 rows, 4773 columns, 59048 nonzeros Variable types: 0 continuous, 4773 integer (4773 binary) Root relaxation: objective 0.000000e+00, 400 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 (730 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:17:48 2012 Optimize a model with 9364 rows, 2804 columns and 29524 nonzeros Presolve time: 0.03s Presolved: 9364 rows, 2804 columns, 29524 nonzeros Variable types: 0 continuous, 2804 integer (2804 binary) Root relaxation: objective 0.000000e+00, 374 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 (693 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:17:48 2012 Optimize a model with 4354 rows, 1730 columns and 13420 nonzeros Presolve time: 0.01s Presolved: 4354 rows, 1730 columns, 13420 nonzeros Variable types: 0 continuous, 1730 integer (1730 binary) Root relaxation: objective 0.000000e+00, 392 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 102 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3566 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:17:48 2012 Optimize a model with 1849 rows, 1193 columns and 5368 nonzeros Presolve removed 179 rows and 179 columns Presolve time: 0.00s Presolved: 1670 rows, 1014 columns, 5010 nonzeros Variable types: 0 continuous, 1014 integer (1014 binary) Root relaxation: objective 0.000000e+00, 191 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 179 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (772 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:17:48 2012 Optimize a model with 2684 rows, 1372 columns and 8052 nonzeros Presolve time: 0.01s Presolved: 2684 rows, 1372 columns, 8052 nonzeros Variable types: 0 continuous, 1372 integer (1372 binary) Root relaxation: objective 0.000000e+00, 392 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 354 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4588 simplex iterations) in 0.58 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:17:49 2012 Optimize a model with 3519 rows, 1551 columns and 10736 nonzeros Presolve time: 0.01s Presolved: 3519 rows, 1551 columns, 10736 nonzeros Variable types: 0 continuous, 1551 integer (1551 binary) Root relaxation: objective 0.000000e+00, 418 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 340 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 500 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 296 - 0.00000 - - 3s 0 0 0.00000 0 294 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 2 0.00000 0 300 - 0.00000 - - 5s 579 77 infeasible 18 - 0.00000 - 136 10s 613 86 0.00000 17 284 - 0.00000 - 137 15s 616 88 0.00000 11 254 - 0.00000 - 136 20s 670 88 infeasible 25 - 0.00000 - 210 25s 915 49 infeasible 33 - 0.00000 - 219 30s 1191 47 infeasible 28 - 0.00000 - 223 35s 1434 52 0.00000 24 322 - 0.00000 - 230 40s 1736 118 infeasible 31 - 0.00000 - 230 45s 2038 138 infeasible 34 - 0.00000 - 231 50s 2356 126 infeasible 26 - 0.00000 - 230 55s 2623 111 0.00000 30 304 - 0.00000 - 233 60s 2910 88 infeasible 26 - 0.00000 - 234 65s 3183 83 infeasible 27 - 0.00000 - 235 70s 3476 68 0.00000 27 302 - 0.00000 - 234 75s 3759 53 infeasible 27 - 0.00000 - 235 80s 4004 42 0.00000 27 306 - 0.00000 - 236 85s 4273 37 infeasible 29 - 0.00000 - 237 90s 4546 34 infeasible 27 - 0.00000 - 238 95s 4841 47 0.00000 25 310 - 0.00000 - 238 100s 5113 79 0.00000 27 326 - 0.00000 - 238 105s 5421 93 0.00000 31 304 - 0.00000 - 238 110s 5737 111 infeasible 30 - 0.00000 - 237 115s 6040 96 infeasible 28 - 0.00000 - 238 120s 6295 99 infeasible 31 - 0.00000 - 239 125s 6544 92 0.00000 28 364 - 0.00000 - 240 130s 6803 83 0.00000 29 351 - 0.00000 - 241 135s 7045 69 0.00000 30 381 - 0.00000 - 242 140s 7303 65 0.00000 32 375 - 0.00000 - 243 145s 7552 48 infeasible 26 - 0.00000 - 244 150s 7815 83 infeasible 27 - 0.00000 - 244 155s 8084 86 0.00000 28 310 - 0.00000 - 244 160s 8337 71 0.00000 28 354 - 0.00000 - 245 165s 8630 94 infeasible 31 - 0.00000 - 245 170s 8909 103 infeasible 34 - 0.00000 - 245 175s 9167 103 infeasible 31 - 0.00000 - 245 180s 9427 67 infeasible 28 - 0.00000 - 246 185s 9724 70 infeasible 31 - 0.00000 - 246 190s 10007 85 0.00000 28 421 - 0.00000 - 245 195s 10254 72 infeasible 25 - 0.00000 - 246 200s 10513 79 infeasible 26 - 0.00000 - 246 205s 10784 70 infeasible 28 - 0.00000 - 246 210s 11039 71 infeasible 26 - 0.00000 - 247 215s 11289 59 0.00000 22 401 - 0.00000 - 247 220s 11556 54 0.00000 30 306 - 0.00000 - 247 225s 11801 49 infeasible 31 - 0.00000 - 248 230s 12036 36 infeasible 28 - 0.00000 - 248 235s 12347 43 infeasible 31 - 0.00000 - 248 240s 12593 29 infeasible 25 - 0.00000 - 248 245s 12833 22 0.00000 26 411 - 0.00000 - 248 250s 13073 12 infeasible 34 - 0.00000 - 249 255s Cutting planes: Gomory: 1 Zero half: 11 Explored 13276 nodes (3343729 simplex iterations) in 259.32 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5