current bounds on the number of colors: 0 -- 182 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:56:34 2012 Optimize a model with 74347 rows, 17377 columns and 239057 nonzeros Presolve time: 0.23s Presolved: 74347 rows, 17377 columns, 239057 nonzeros Variable types: 0 continuous, 17377 integer (17377 binary) Root relaxation: objective 0.000000e+00, 721 iterations, 0.08 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 (1128 simplex iterations) in 0.42 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 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:56:35 2012 Optimize a model with 36857 rows, 9005 columns and 118215 nonzeros Presolve time: 0.15s Presolved: 36857 rows, 9005 columns, 118215 nonzeros Variable types: 0 continuous, 9005 integer (9005 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 (975 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:56:36 2012 Optimize a model with 18112 rows, 4819 columns and 57794 nonzeros Presolve time: 0.07s Presolved: 18112 rows, 4819 columns, 57794 nonzeros Variable types: 0 continuous, 4819 integer (4819 binary) Root relaxation: objective 0.000000e+00, 384 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 (745 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 01:56:36 2012 Optimize a model with 9147 rows, 2817 columns and 28897 nonzeros Presolve time: 0.03s Presolved: 9147 rows, 2817 columns, 28897 nonzeros Variable types: 0 continuous, 2817 integer (2817 binary) Root relaxation: objective 0.000000e+00, 385 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 (723 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 01:56:37 2012 Optimize a model with 4257 rows, 1725 columns and 13135 nonzeros Presolve time: 0.01s Presolved: 4257 rows, 1725 columns, 13135 nonzeros Variable types: 0 continuous, 1725 integer (1725 binary) Root relaxation: objective 0.000000e+00, 414 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 141 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4743 simplex iterations) in 0.36 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 01:56:37 2012 Optimize a model with 1812 rows, 1179 columns and 5254 nonzeros Presolve removed 182 rows and 182 columns Presolve time: 0.00s Presolved: 1630 rows, 997 columns, 4890 nonzeros Variable types: 0 continuous, 997 integer (997 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 182 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (794 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 01:56:37 2012 Optimize a model with 2627 rows, 1361 columns and 7881 nonzeros Presolve time: 0.01s Presolved: 2627 rows, 1361 columns, 7881 nonzeros Variable types: 0 continuous, 1361 integer (1361 binary) Root relaxation: objective 0.000000e+00, 397 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 362 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4256 simplex iterations) in 0.48 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 01:56:38 2012 Optimize a model with 3442 rows, 1543 columns and 10508 nonzeros Presolve time: 0.01s Presolved: 3442 rows, 1543 columns, 10508 nonzeros Variable types: 0 continuous, 1543 integer (1543 binary) Root relaxation: objective 0.000000e+00, 405 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 356 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 313 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 284 - 0.00000 - - 4s 0 0 0.00000 0 276 - 0.00000 - - 5s 0 0 0.00000 0 264 - 0.00000 - - 5s 0 0 0.00000 0 266 - 0.00000 - - 5s 0 0 0.00000 0 266 - 0.00000 - - 5s 0 2 0.00000 0 266 - 0.00000 - - 6s 605 182 0.00000 5 338 - 0.00000 - 93.1 10s 610 185 0.00000 22 430 - 0.00000 - 92.3 15s 614 188 0.00000 8 395 - 0.00000 - 91.7 20s 695 218 infeasible 31 - 0.00000 - 171 25s 1158 202 0.00000 32 312 - 0.00000 - 168 30s 1618 247 infeasible 31 - 0.00000 - 172 35s 2064 269 0.00000 33 320 - 0.00000 - 177 40s 2530 259 infeasible 33 - 0.00000 - 178 45s 2967 242 0.00000 25 374 - 0.00000 - 181 50s 3419 310 infeasible 38 - 0.00000 - 181 55s 3864 311 infeasible 35 - 0.00000 - 181 60s 4278 337 0.00000 29 318 - 0.00000 - 183 65s 4696 315 infeasible 40 - 0.00000 - 185 70s 5121 318 0.00000 35 341 - 0.00000 - 186 75s 5551 304 infeasible 32 - 0.00000 - 187 80s 5986 311 0.00000 33 354 - 0.00000 - 188 85s 6428 331 0.00000 28 325 - 0.00000 - 187 90s 6857 324 0.00000 30 315 - 0.00000 - 188 95s 7299 380 infeasible 29 - 0.00000 - 187 100s 7678 347 0.00000 31 290 - 0.00000 - 189 105s 8098 343 0.00000 23 306 - 0.00000 - 190 110s 8549 348 0.00000 32 306 - 0.00000 - 190 115s 8985 356 infeasible 36 - 0.00000 - 190 120s 9430 397 0.00000 31 347 - 0.00000 - 189 125s 9830 391 0.00000 37 306 - 0.00000 - 190 130s 10264 399 infeasible 32 - 0.00000 - 190 135s 10706 395 0.00000 34 332 - 0.00000 - 190 140s 11151 402 infeasible 36 - 0.00000 - 191 145s 11566 413 infeasible 31 - 0.00000 - 191 150s 11974 417 0.00000 27 325 - 0.00000 - 191 155s 12403 446 0.00000 33 329 - 0.00000 - 191 160s 12825 484 0.00000 34 296 - 0.00000 - 191 165s 13215 464 infeasible 34 - 0.00000 - 192 170s 13620 469 infeasible 37 - 0.00000 - 192 175s 14016 445 infeasible 29 - 0.00000 - 193 180s 14411 446 infeasible 32 - 0.00000 - 193 185s 14844 447 0.00000 35 316 - 0.00000 - 194 190s 15313 468 0.00000 34 328 - 0.00000 - 193 195s 15765 454 infeasible 33 - 0.00000 - 193 200s 16206 455 infeasible 39 - 0.00000 - 193 205s 16662 495 infeasible 35 - 0.00000 - 193 210s 17126 523 infeasible 33 - 0.00000 - 193 215s 17524 561 infeasible 40 - 0.00000 - 193 220s 17967 560 infeasible 37 - 0.00000 - 193 225s 18370 569 infeasible 36 - 0.00000 - 194 230s 18777 564 infeasible 34 - 0.00000 - 194 235s 19222 565 infeasible 38 - 0.00000 - 194 240s 19615 524 infeasible 40 - 0.00000 - 194 245s 20032 521 infeasible 32 - 0.00000 - 195 250s 20443 532 infeasible 36 - 0.00000 - 195 255s 20851 532 infeasible 37 - 0.00000 - 195 260s 21262 515 infeasible 34 - 0.00000 - 195 265s 21663 558 infeasible 35 - 0.00000 - 195 270s 22113 554 infeasible 35 - 0.00000 - 195 275s 22548 571 infeasible 33 - 0.00000 - 195 280s 22963 568 0.00000 28 333 - 0.00000 - 195 285s 23364 569 0.00000 32 318 - 0.00000 - 195 290s Cutting planes: Zero half: 4 Explored 23768 nodes (4702734 simplex iterations) in 294.89 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