current bounds on the number of colors: 0 -- 206 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:42:00 2012 Optimize a model with 107532 rows, 22260 columns and 343196 nonzeros Presolve time: 0.36s Presolved: 107532 rows, 22260 columns, 343196 nonzeros Variable types: 0 continuous, 22260 integer (22260 binary) Root relaxation: objective 0.000000e+00, 875 iterations, 0.13 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 (1392 simplex iterations) in 0.67 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:42:02 2012 Optimize a model with 53348 rows, 11548 columns and 169932 nonzeros Presolve time: 0.16s Presolved: 53348 rows, 11548 columns, 169932 nonzeros Variable types: 0 continuous, 11548 integer (11548 binary) Root relaxation: objective 0.000000e+00, 784 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 (1259 simplex iterations) in 0.30 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:42:03 2012 Optimize a model with 26256 rows, 6192 columns and 83300 nonzeros Presolve time: 0.11s Presolved: 26256 rows, 6192 columns, 83300 nonzeros Variable types: 0 continuous, 6192 integer (6192 binary) Root relaxation: objective 0.000000e+00, 536 iterations, 0.02 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 (1004 simplex iterations) in 0.17 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:42:03 2012 Optimize a model with 12710 rows, 3514 columns and 39984 nonzeros Presolve time: 0.04s Presolved: 12710 rows, 3514 columns, 39984 nonzeros Variable types: 0 continuous, 3514 integer (3514 binary) Root relaxation: objective 0.000000e+00, 419 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 (823 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:42:04 2012 Optimize a model with 6458 rows, 2278 columns and 19992 nonzeros Presolve time: 0.02s Presolved: 6458 rows, 2278 columns, 19992 nonzeros Variable types: 0 continuous, 2278 integer (2278 binary) Root relaxation: objective 0.000000e+00, 441 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 (1761 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:42:04 2012 Optimize a model with 3332 rows, 1660 columns and 9996 nonzeros Presolve time: 0.01s Presolved: 3332 rows, 1660 columns, 9996 nonzeros Variable types: 0 continuous, 1660 integer (1660 binary) Root relaxation: objective 0.000000e+00, 488 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 310 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9191 simplex iterations) in 1.10 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:42:05 2012 Optimize a model with 4374 rows, 1866 columns and 13328 nonzeros Presolve time: 0.01s Presolved: 4374 rows, 1866 columns, 13328 nonzeros Variable types: 0 continuous, 1866 integer (1866 binary) Root relaxation: objective 0.000000e+00, 460 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 408 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 436 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 346 - 0.00000 - - 6s 0 0 0.00000 0 344 - 0.00000 - - 7s 0 0 0.00000 0 342 - 0.00000 - - 8s 0 0 0.00000 0 363 - 0.00000 - - 8s 0 0 0.00000 0 336 - 0.00000 - - 9s 0 0 0.00000 0 332 - 0.00000 - - 10s 0 0 0.00000 0 334 - 0.00000 - - 11s 0 0 0.00000 0 334 - 0.00000 - - 11s 0 2 0.00000 0 334 - 0.00000 - - 12s 177 25 0.00000 18 354 - 0.00000 - 195 15s 701 64 0.00000 30 392 - 0.00000 - 150 20s 706 67 0.00000 29 352 - 0.00000 - 149 25s 708 69 0.00000 20 344 - 0.00000 - 148 30s 710 70 0.00000 22 332 - 0.00000 - 148 36s 712 71 0.00000 14 344 - 0.00000 - 148 41s 715 73 0.00000 27 329 - 0.00000 - 147 47s 717 75 0.00000 25 314 - 0.00000 - 147 51s 723 79 0.00000 11 496 - 0.00000 - 267 55s 795 93 0.00000 27 374 - 0.00000 - 263 60s 987 62 0.00000 24 340 - 0.00000 - 258 65s 1204 57 infeasible 25 - 0.00000 - 256 70s 1396 43 0.00000 21 372 - 0.00000 - 261 75s 1606 43 0.00000 26 425 - 0.00000 - 259 80s 1791 42 0.00000 22 453 - 0.00000 - 261 85s 2002 57 0.00000 19 443 - 0.00000 - 258 90s 2187 70 infeasible 35 - 0.00000 - 261 95s 2351 62 infeasible 26 - 0.00000 - 265 100s 2542 59 infeasible 26 - 0.00000 - 267 105s 2754 49 infeasible 27 - 0.00000 - 267 110s 2960 45 infeasible 25 - 0.00000 - 267 115s 3180 49 0.00000 26 358 - 0.00000 - 267 120s 3398 55 0.00000 26 358 - 0.00000 - 267 125s 3624 51 infeasible 23 - 0.00000 - 267 130s 3887 50 infeasible 22 - 0.00000 - 266 135s 4067 36 infeasible 22 - 0.00000 - 268 140s 4252 37 infeasible 26 - 0.00000 - 269 145s 4474 49 infeasible 24 - 0.00000 - 268 150s 4737 48 infeasible 26 - 0.00000 - 267 155s 4980 39 infeasible 29 - 0.00000 - 266 160s 5185 40 infeasible 25 - 0.00000 - 267 165s 5355 50 0.00000 23 438 - 0.00000 - 269 170s 5568 49 infeasible 24 - 0.00000 - 269 175s 5767 48 infeasible 23 - 0.00000 - 271 180s 5962 51 infeasible 32 - 0.00000 - 271 185s 6198 45 infeasible 25 - 0.00000 - 271 190s 6409 66 infeasible 32 - 0.00000 - 271 195s 6647 92 infeasible 26 - 0.00000 - 271 200s 6871 74 infeasible 24 - 0.00000 - 271 205s 7101 70 infeasible 27 - 0.00000 - 271 210s 7323 50 0.00000 20 440 - 0.00000 - 271 215s 7544 55 0.00000 23 364 - 0.00000 - 271 220s 7755 46 infeasible 27 - 0.00000 - 272 225s 7938 43 0.00000 25 462 - 0.00000 - 273 230s 8158 37 0.00000 22 359 - 0.00000 - 272 235s 8397 30 0.00000 17 417 - 0.00000 - 271 240s 8605 26 infeasible 25 - 0.00000 - 272 245s 8812 27 0.00000 23 370 - 0.00000 - 272 250s 9005 24 infeasible 23 - 0.00000 - 272 255s 9193 30 infeasible 24 - 0.00000 - 273 260s 9367 28 0.00000 25 410 - 0.00000 - 273 265s 9538 21 infeasible 21 - 0.00000 - 274 270s 9704 17 0.00000 21 376 - 0.00000 - 275 275s 9949 18 infeasible 25 - 0.00000 - 275 280s 10155 14 infeasible 20 - 0.00000 - 275 285s 10353 26 infeasible 20 - 0.00000 - 275 290s Cutting planes: Gomory: 1 Zero half: 11 Explored 10472 nodes (2960982 simplex iterations) in 292.69 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 11:46:58 2012 Optimize a model with 5416 rows, 2072 columns and 16660 nonzeros Presolve time: 0.02s Explored 0 nodes (0 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound -, gap - optimal solution found: number of colors: 6