current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:30:36 2012 Optimize a model with 62628 rows, 10167 columns and 196724 nonzeros Presolve time: 0.18s Presolved: 62628 rows, 10167 columns, 196724 nonzeros Variable types: 0 continuous, 10167 integer (10167 binary) Root relaxation: objective 0.000000e+00, 376 iterations, 0.07 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 (665 simplex iterations) in 0.34 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:30:37 2012 Optimize a model with 31382 rows, 5543 columns and 98362 nonzeros Presolve time: 0.15s Presolved: 31382 rows, 5543 columns, 98362 nonzeros Variable types: 0 continuous, 5543 integer (5543 binary) Root relaxation: objective 0.000000e+00, 326 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 (613 simplex iterations) in 0.22 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:30:38 2012 Optimize a model with 15759 rows, 3231 columns and 49181 nonzeros Presolve time: 0.05s Presolved: 15759 rows, 3231 columns, 49181 nonzeros Variable types: 0 continuous, 3231 integer (3231 binary) Root relaxation: objective 0.000000e+00, 278 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 (552 simplex iterations) in 0.09 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:30:38 2012 Optimize a model with 7488 rows, 2007 columns and 23144 nonzeros Presolve time: 0.02s Presolved: 7488 rows, 2007 columns, 23144 nonzeros Variable types: 0 continuous, 2007 integer (2007 binary) Root relaxation: objective 0.000000e+00, 290 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 (655 simplex iterations) in 0.04 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:30:38 2012 Optimize a model with 3812 rows, 1463 columns and 11572 nonzeros Presolve time: 0.01s Presolved: 3812 rows, 1463 columns, 11572 nonzeros Variable types: 0 continuous, 1463 integer (1463 binary) Root relaxation: objective 0.000000e+00, 299 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 268 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 1s 0 0 0.00000 0 436 - 0.00000 - - 2s 0 0 0.00000 0 426 - 0.00000 - - 3s 0 0 0.00000 0 428 - 0.00000 - - 4s 0 0 0.00000 0 423 - 0.00000 - - 4s 0 0 0.00000 0 421 - 0.00000 - - 6s 0 0 0.00000 0 420 - 0.00000 - - 6s 0 0 0.00000 0 419 - 0.00000 - - 8s 0 0 0.00000 0 423 - 0.00000 - - 9s 0 0 0.00000 0 421 - 0.00000 - - 10s 0 0 0.00000 0 426 - 0.00000 - - 11s 0 0 0.00000 0 419 - 0.00000 - - 11s 0 0 0.00000 0 412 - 0.00000 - - 12s 0 0 0.00000 0 420 - 0.00000 - - 13s 0 0 0.00000 0 420 - 0.00000 - - 13s 0 2 0.00000 0 420 - 0.00000 - - 14s 3 3 0.00000 2 409 - 0.00000 - 1636 15s Cutting planes: Clique: 15 Zero half: 13 Explored 15 nodes (60287 simplex iterations) in 15.43 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:30:54 2012 Optimize a model with 5650 rows, 1735 columns and 17358 nonzeros Presolve time: 0.02s Presolved: 5650 rows, 1735 columns, 17358 nonzeros Variable types: 0 continuous, 1735 integer (1735 binary) Root relaxation: objective 0.000000e+00, 284 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 * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 34 Zero half: 68 Explored 0 nodes (3133 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:30:54 2012 Optimize a model with 4731 rows, 1599 columns and 14465 nonzeros Presolve time: 0.01s Presolved: 4731 rows, 1599 columns, 14465 nonzeros Variable types: 0 continuous, 1599 integer (1599 binary) Root relaxation: objective 0.000000e+00, 281 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 241 - 0.00000 - - 0s 0 0 0.00000 0 217 - 0.00000 - - 0s 0 0 0.00000 0 255 - 0.00000 - - 1s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 243 - 0.00000 - - 2s 0 0 0.00000 0 228 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 328 - 0.00000 - - 6s 0 2 0.00000 0 328 - 0.00000 - - 7s 184 60 0.00000 17 297 - 0.00000 - 187 10s 609 104 0.00000 10 255 - 0.00000 - 150 16s 612 106 0.00000 11 315 - 0.00000 - 149 20s 615 108 0.00000 13 288 - 0.00000 - 149 26s 618 110 0.00000 11 301 - 0.00000 - 148 30s 700 141 infeasible 30 - 0.00000 - 226 35s 907 149 infeasible 28 - 0.00000 - 229 40s 1098 167 0.00000 21 343 - 0.00000 - 235 45s 1307 260 0.00000 25 306 - 0.00000 - 235 50s 1499 296 0.00000 36 302 - 0.00000 - 240 55s 1680 323 0.00000 31 302 - 0.00000 - 245 60s 1875 360 infeasible 41 - 0.00000 - 248 65s 2046 371 infeasible 36 - 0.00000 - 253 70s 2226 413 infeasible 36 - 0.00000 - 255 75s 2390 417 infeasible 26 - 0.00000 - 260 80s 2590 447 infeasible 40 - 0.00000 - 260 85s 2775 432 0.00000 27 316 - 0.00000 - 262 90s 2955 444 infeasible 31 - 0.00000 - 264 95s 3131 444 0.00000 31 306 - 0.00000 - 265 100s 3315 432 0.00000 33 314 - 0.00000 - 267 105s 3500 447 infeasible 33 - 0.00000 - 268 110s 3685 480 0.00000 36 312 - 0.00000 - 269 115s 3861 488 0.00000 24 290 - 0.00000 - 270 120s 4054 485 0.00000 31 297 - 0.00000 - 270 125s 4245 488 0.00000 28 325 - 0.00000 - 270 130s 4406 507 0.00000 39 234 - 0.00000 - 272 135s 4582 513 0.00000 39 317 - 0.00000 - 273 140s 4773 508 0.00000 29 323 - 0.00000 - 274 145s 4958 505 infeasible 37 - 0.00000 - 274 150s 5147 508 infeasible 32 - 0.00000 - 275 155s 5323 510 infeasible 34 - 0.00000 - 275 160s 5504 519 infeasible 35 - 0.00000 - 276 165s 5659 498 infeasible 31 - 0.00000 - 278 170s 5845 500 infeasible 36 - 0.00000 - 278 175s 6001 490 0.00000 32 311 - 0.00000 - 279 180s 6180 481 0.00000 33 309 - 0.00000 - 279 185s 6365 478 infeasible 31 - 0.00000 - 279 190s 6540 485 infeasible 26 - 0.00000 - 280 195s 6704 487 0.00000 26 319 - 0.00000 - 280 200s 6869 496 infeasible 34 - 0.00000 - 281 205s 7021 508 infeasible 30 - 0.00000 - 282 210s 7192 517 infeasible 33 - 0.00000 - 283 215s 7371 506 0.00000 31 306 - 0.00000 - 284 220s 7520 505 0.00000 32 322 - 0.00000 - 285 225s 7700 503 infeasible 31 - 0.00000 - 285 230s 7867 500 infeasible 32 - 0.00000 - 286 235s 8052 507 infeasible 37 - 0.00000 - 285 240s 8239 508 0.00000 31 302 - 0.00000 - 285 245s 8447 512 infeasible 32 - 0.00000 - 285 250s 8647 520 0.00000 29 316 - 0.00000 - 285 255s 8829 532 infeasible 34 - 0.00000 - 284 260s 9021 528 0.00000 26 318 - 0.00000 - 284 265s 9198 519 infeasible 33 - 0.00000 - 285 270s 9356 535 infeasible 38 - 0.00000 - 285 275s 9537 562 0.00000 30 303 - 0.00000 - 285 280s Cutting planes: Gomory: 1 Clique: 4 Zero half: 27 Explored 9565 nodes (2768933 simplex iterations) in 280.71 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: 6