current bounds on the number of colors: 0 -- 188 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:17:20 2012 Optimize a model with 81780 rows, 18540 columns and 262448 nonzeros Presolve time: 0.26s Presolved: 81780 rows, 18540 columns, 262448 nonzeros Variable types: 0 continuous, 18540 integer (18540 binary) Root relaxation: objective 0.000000e+00, 683 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 (1092 simplex iterations) in 0.45 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:17:21 2012 Optimize a model with 40984 rows, 9704 columns and 131224 nonzeros Presolve time: 0.15s Presolved: 40984 rows, 9704 columns, 131224 nonzeros Variable types: 0 continuous, 9704 integer (9704 binary) Root relaxation: objective 0.000000e+00, 561 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 (953 simplex iterations) in 0.23 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:17:22 2012 Optimize a model with 20152 rows, 5192 columns and 64216 nonzeros Presolve time: 0.08s Presolved: 20152 rows, 5192 columns, 64216 nonzeros Variable types: 0 continuous, 5192 integer (5192 binary) Root relaxation: objective 0.000000e+00, 402 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 (740 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:17:22 2012 Optimize a model with 9736 rows, 2936 columns and 30712 nonzeros Presolve time: 0.03s Presolved: 9736 rows, 2936 columns, 30712 nonzeros Variable types: 0 continuous, 2936 integer (2936 binary) Root relaxation: objective 0.000000e+00, 409 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 (780 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 04:17:22 2012 Optimize a model with 4528 rows, 1808 columns and 13960 nonzeros Presolve time: 0.01s Presolved: 4528 rows, 1808 columns, 13960 nonzeros Variable types: 0 continuous, 1808 integer (1808 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2131 simplex iterations) in 0.10 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 04:17:22 2012 Optimize a model with 1924 rows, 1244 columns and 5584 nonzeros Presolve removed 188 rows and 188 columns Presolve time: 0.00s Presolved: 1736 rows, 1056 columns, 5208 nonzeros Variable types: 0 continuous, 1056 integer (1056 binary) Root relaxation: objective 0.000000e+00, 200 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 188 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (821 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 04:17:23 2012 Optimize a model with 2792 rows, 1432 columns and 8376 nonzeros Presolve time: 0.01s Presolved: 2792 rows, 1432 columns, 8376 nonzeros Variable types: 0 continuous, 1432 integer (1432 binary) Root relaxation: objective 0.000000e+00, 421 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 374 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 499 - 0.00000 - - 1s 0 0 0.00000 0 530 - 0.00000 - - 1s 0 0 0.00000 0 503 - 0.00000 - - 2s 0 0 0.00000 0 511 - 0.00000 - - 2s 0 0 0.00000 0 510 - 0.00000 - - 3s 0 0 0.00000 0 509 - 0.00000 - - 4s 0 0 0.00000 0 506 - 0.00000 - - 5s 0 0 0.00000 0 512 - 0.00000 - - 6s 0 0 0.00000 0 502 - 0.00000 - - 7s 0 0 0.00000 0 503 - 0.00000 - - 8s 0 0 infeasible 0 - 0.10000 - - 8s Cutting planes: Zero half: 998 Explored 0 nodes (39306 simplex iterations) in 8.45 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 04:17:31 2012 Optimize a model with 3660 rows, 1620 columns and 11168 nonzeros Presolve time: 0.01s Presolved: 3660 rows, 1620 columns, 11168 nonzeros Variable types: 0 continuous, 1620 integer (1620 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.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 467 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 319 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 303 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 262 - 0.00000 - - 4s 0 0 0.00000 0 271 - 0.00000 - - 4s 0 0 0.00000 0 252 - 0.00000 - - 5s 0 0 0.00000 0 285 - 0.00000 - - 5s 0 0 0.00000 0 371 - 0.00000 - - 6s 0 0 0.00000 0 371 - 0.00000 - - 6s 0 2 0.00000 0 371 - 0.00000 - - 7s 326 111 0.00000 19 286 - 0.00000 - 140 10s 605 166 0.00000 18 314 - 0.00000 - 134 15s 609 168 0.00000 22 284 - 0.00000 - 134 20s 613 171 0.00000 13 272 - 0.00000 - 133 25s 616 173 0.00000 15 326 - 0.00000 - 132 30s 871 171 0.00000 25 312 - 0.00000 - 225 35s 1226 112 infeasible 31 - 0.00000 - 220 40s 1549 143 0.00000 39 306 - 0.00000 - 222 45s 1865 179 infeasible 30 - 0.00000 - 222 50s 2216 180 infeasible 35 - 0.00000 - 220 55s 2543 191 infeasible 35 - 0.00000 - 221 60s 2843 155 0.00000 27 419 - 0.00000 - 223 65s 3163 153 infeasible 37 - 0.00000 - 223 70s 3494 168 0.00000 34 409 - 0.00000 - 223 75s 3824 162 0.00000 28 334 - 0.00000 - 223 80s 4141 145 0.00000 39 331 - 0.00000 - 223 85s 4448 172 infeasible 27 - 0.00000 - 223 90s 4774 184 0.00000 32 372 - 0.00000 - 223 95s 5134 188 infeasible 35 - 0.00000 - 222 100s 5423 189 0.00000 33 322 - 0.00000 - 223 105s 5802 184 0.00000 34 318 - 0.00000 - 221 110s 6140 194 infeasible 33 - 0.00000 - 221 115s 6441 169 0.00000 37 337 - 0.00000 - 222 120s 6757 167 0.00000 32 422 - 0.00000 - 222 125s 7046 180 0.00000 33 328 - 0.00000 - 223 130s 7332 184 infeasible 31 - 0.00000 - 223 135s 7653 185 0.00000 30 340 - 0.00000 - 223 140s 7939 157 infeasible 33 - 0.00000 - 224 145s 8234 142 infeasible 38 - 0.00000 - 224 150s 8543 169 infeasible 31 - 0.00000 - 224 155s 8885 133 0.00000 26 412 - 0.00000 - 224 160s 9236 160 infeasible 33 - 0.00000 - 223 165s 9558 168 infeasible 33 - 0.00000 - 223 170s 9846 166 0.00000 34 330 - 0.00000 - 223 175s 10155 181 infeasible 27 - 0.00000 - 223 180s 10543 213 0.00000 27 322 - 0.00000 - 222 185s 10873 225 infeasible 30 - 0.00000 - 222 190s 11226 214 0.00000 27 359 - 0.00000 - 221 195s 11566 220 0.00000 37 312 - 0.00000 - 221 200s 11895 191 infeasible 31 - 0.00000 - 221 205s 12185 199 infeasible 31 - 0.00000 - 221 210s 12527 195 0.00000 31 316 - 0.00000 - 221 215s 12843 181 0.00000 27 366 - 0.00000 - 221 220s 13136 172 0.00000 33 415 - 0.00000 - 221 225s 13420 190 infeasible 33 - 0.00000 - 221 230s 13709 195 0.00000 26 336 - 0.00000 - 222 235s 14063 203 infeasible 27 - 0.00000 - 221 240s 14362 196 infeasible 37 - 0.00000 - 222 245s 14672 232 infeasible 32 - 0.00000 - 222 250s 14935 239 0.00000 28 335 - 0.00000 - 222 255s 15219 255 0.00000 29 427 - 0.00000 - 223 260s 15491 245 infeasible 31 - 0.00000 - 223 265s 15754 232 infeasible 31 - 0.00000 - 224 270s 16015 249 0.00000 33 312 - 0.00000 - 224 275s 16306 244 infeasible 30 - 0.00000 - 224 280s 16634 262 0.00000 28 344 - 0.00000 - 224 285s Cutting planes: Gomory: 1 Zero half: 22 Explored 16749 nodes (3811572 simplex iterations) in 286.78 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 5