current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:01:34 2012 Optimize a model with 91569 rows, 19857 columns and 293037 nonzeros Presolve time: 0.30s Presolved: 91569 rows, 19857 columns, 293037 nonzeros Variable types: 0 continuous, 19857 integer (19857 binary) Root relaxation: objective 0.000000e+00, 651 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 (1095 simplex iterations) in 0.50 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:01:35 2012 Optimize a model with 45411 rows, 10302 columns and 145008 nonzeros Presolve time: 0.16s Presolved: 45411 rows, 10302 columns, 145008 nonzeros Variable types: 0 continuous, 10302 integer (10302 binary) Root relaxation: objective 0.000000e+00, 537 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 (1168 simplex iterations) in 0.28 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:01:36 2012 Optimize a model with 22803 rows, 5622 columns and 72504 nonzeros Presolve time: 0.09s Presolved: 22803 rows, 5622 columns, 72504 nonzeros Variable types: 0 continuous, 5622 integer (5622 binary) Root relaxation: objective 0.000000e+00, 411 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 (744 simplex iterations) in 0.13 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:01:37 2012 Optimize a model with 11499 rows, 3282 columns and 36252 nonzeros Presolve time: 0.04s Presolved: 11499 rows, 3282 columns, 36252 nonzeros Variable types: 0 continuous, 3282 integer (3282 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (753 simplex iterations) in 0.06 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 07:01:37 2012 Optimize a model with 5847 rows, 2112 columns and 18126 nonzeros Presolve time: 0.02s Presolved: 5847 rows, 2112 columns, 18126 nonzeros Variable types: 0 continuous, 2112 integer (2112 binary) Root relaxation: objective 0.000000e+00, 415 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 (1572 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 07:01:37 2012 Optimize a model with 3021 rows, 1527 columns and 9063 nonzeros Presolve time: 0.01s Presolved: 3021 rows, 1527 columns, 9063 nonzeros Variable types: 0 continuous, 1527 integer (1527 binary) Root relaxation: objective 0.000000e+00, 424 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 390 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 522 - 0.00000 - - 0s 0 0 0.00000 0 535 - 0.00000 - - 1s 0 0 0.00000 0 523 - 0.00000 - - 2s 0 0 0.00000 0 532 - 0.00000 - - 2s 0 0 0.00000 0 524 - 0.00000 - - 4s 0 0 0.00000 0 526 - 0.00000 - - 5s 0 0 0.00000 0 522 - 0.00000 - - 6s 0 0 0.00000 0 539 - 0.00000 - - 7s 0 0 0.00000 0 529 - 0.00000 - - 8s 0 0 0.00000 0 530 - 0.00000 - - 9s 0 0 0.00000 0 526 - 0.00000 - - 9s 0 2 0.00000 0 523 - 0.00000 - - 10s Cutting planes: Zero half: 133 Explored 3 nodes (47308 simplex iterations) in 10.21 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: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:01:47 2012 Optimize a model with 3963 rows, 1722 columns and 12084 nonzeros Presolve time: 0.01s Presolved: 3963 rows, 1722 columns, 12084 nonzeros Variable types: 0 continuous, 1722 integer (1722 binary) Root relaxation: objective 0.000000e+00, 439 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 390 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 465 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 312 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 2 0.00000 0 310 - 0.00000 - - 6s 522 60 0.00000 13 422 - 0.00000 - 118 10s 607 84 0.00000 7 337 - 0.00000 - 116 16s 609 85 0.00000 12 320 - 0.00000 - 115 20s 612 87 0.00000 10 272 - 0.00000 - 115 25s 615 89 0.00000 7 272 - 0.00000 - 114 31s 625 96 0.00000 17 410 - 0.00000 - 220 35s 804 95 0.00000 35 342 - 0.00000 - 225 40s 1012 85 0.00000 30 412 - 0.00000 - 234 45s 1262 93 infeasible 28 - 0.00000 - 237 50s 1484 93 infeasible 36 - 0.00000 - 242 55s 1728 155 0.00000 30 352 - 0.00000 - 242 60s 1969 138 infeasible 34 - 0.00000 - 244 65s 2213 144 infeasible 28 - 0.00000 - 246 70s 2423 166 infeasible 33 - 0.00000 - 248 75s 2631 184 0.00000 28 426 - 0.00000 - 250 80s 2907 190 infeasible 34 - 0.00000 - 249 85s 3144 209 0.00000 30 394 - 0.00000 - 249 90s 3400 207 0.00000 34 348 - 0.00000 - 249 95s 3648 207 0.00000 25 441 - 0.00000 - 249 100s 3909 228 0.00000 31 379 - 0.00000 - 249 105s 4152 255 0.00000 24 340 - 0.00000 - 250 110s 4350 265 infeasible 27 - 0.00000 - 253 115s 4571 274 0.00000 30 338 - 0.00000 - 254 120s 4811 290 0.00000 30 370 - 0.00000 - 254 125s 5055 284 infeasible 37 - 0.00000 - 254 130s 5324 281 0.00000 32 375 - 0.00000 - 254 135s 5561 286 infeasible 33 - 0.00000 - 254 140s 5824 289 0.00000 27 457 - 0.00000 - 254 145s 6049 270 0.00000 30 428 - 0.00000 - 254 150s 6300 273 0.00000 27 342 - 0.00000 - 255 155s 6556 255 0.00000 28 342 - 0.00000 - 254 160s 6786 273 0.00000 25 363 - 0.00000 - 254 165s 6987 264 infeasible 27 - 0.00000 - 255 170s 7236 281 0.00000 29 332 - 0.00000 - 255 175s 7468 275 0.00000 30 346 - 0.00000 - 256 180s 7689 266 0.00000 32 352 - 0.00000 - 256 185s 7899 256 infeasible 34 - 0.00000 - 257 190s 8167 254 0.00000 31 437 - 0.00000 - 257 195s 8382 251 infeasible 28 - 0.00000 - 258 200s 8600 243 infeasible 28 - 0.00000 - 258 205s 8822 241 0.00000 28 381 - 0.00000 - 259 210s 9108 239 infeasible 33 - 0.00000 - 258 215s 9372 235 infeasible 36 - 0.00000 - 258 220s 9575 222 infeasible 28 - 0.00000 - 259 225s 9790 233 infeasible 35 - 0.00000 - 260 230s 10013 238 0.00000 34 342 - 0.00000 - 260 235s 10215 228 infeasible 32 - 0.00000 - 261 240s 10416 231 0.00000 28 385 - 0.00000 - 261 245s 10642 219 0.00000 28 372 - 0.00000 - 262 250s 10832 215 0.00000 28 373 - 0.00000 - 263 255s 11045 214 infeasible 30 - 0.00000 - 263 260s 11277 216 infeasible 32 - 0.00000 - 263 265s 11495 194 0.00000 30 416 - 0.00000 - 263 270s 11693 174 0.00000 24 328 - 0.00000 - 264 275s 11886 169 infeasible 26 - 0.00000 - 265 280s Cutting planes: Zero half: 17 Explored 12071 nodes (3247047 simplex iterations) in 284.54 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:06:32 2012 Optimize a model with 4905 rows, 1917 columns and 15105 nonzeros Presolve time: 0.01s Presolved: 4905 rows, 1917 columns, 15105 nonzeros Variable types: 0 continuous, 1917 integer (1917 binary) Root relaxation: objective 0.000000e+00, 440 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 390 - 0.00000 - - 0s Explored 0 nodes (722 simplex iterations) in 0.03 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