current bounds on the number of colors: 0 -- 181 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:32:03 2012 Optimize a model with 72541 rows, 17094 columns and 233370 nonzeros Presolve time: 0.23s Presolved: 72541 rows, 17094 columns, 233370 nonzeros Variable types: 0 continuous, 17094 integer (17094 binary) Root relaxation: objective 0.000000e+00, 682 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 (1153 simplex iterations) in 0.40 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:32:05 2012 Optimize a model with 36361 rows, 8949 columns and 116685 nonzeros Presolve time: 0.15s Presolved: 36361 rows, 8949 columns, 116685 nonzeros Variable types: 0 continuous, 8949 integer (8949 binary) Root relaxation: objective 0.000000e+00, 474 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 (964 simplex iterations) in 0.24 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:32:05 2012 Optimize a model with 17869 rows, 4786 columns and 57046 nonzeros Presolve time: 0.07s Presolved: 17869 rows, 4786 columns, 57046 nonzeros Variable types: 0 continuous, 4786 integer (4786 binary) Root relaxation: objective 0.000000e+00, 403 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 (741 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:32:06 2012 Optimize a model with 9025 rows, 2795 columns and 28523 nonzeros Presolve time: 0.03s Presolved: 9025 rows, 2795 columns, 28523 nonzeros Variable types: 0 continuous, 2795 integer (2795 binary) Root relaxation: objective 0.000000e+00, 387 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 (690 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:32:06 2012 Optimize a model with 4201 rows, 1709 columns and 12965 nonzeros Presolve time: 0.01s Presolved: 4201 rows, 1709 columns, 12965 nonzeros Variable types: 0 continuous, 1709 integer (1709 binary) Root relaxation: objective 0.000000e+00, 391 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 253 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2573 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:32:06 2012 Optimize a model with 1789 rows, 1166 columns and 5186 nonzeros Presolve removed 181 rows and 181 columns Presolve time: 0.00s Presolved: 1608 rows, 985 columns, 4824 nonzeros Variable types: 0 continuous, 985 integer (985 binary) Root relaxation: objective 0.000000e+00, 190 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 181 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (790 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:32:06 2012 Optimize a model with 2593 rows, 1347 columns and 7779 nonzeros Presolve time: 0.01s Presolved: 2593 rows, 1347 columns, 7779 nonzeros Variable types: 0 continuous, 1347 integer (1347 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.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4110 simplex iterations) in 0.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 01:32:07 2012 Optimize a model with 3397 rows, 1528 columns and 10372 nonzeros Presolve time: 0.01s Presolved: 3397 rows, 1528 columns, 10372 nonzeros Variable types: 0 continuous, 1528 integer (1528 binary) Root relaxation: objective 0.000000e+00, 401 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 332 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 343 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 294 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 2 0.00000 0 286 - 0.00000 - - 3s 373 53 0.00000 22 260 - 0.00000 - 83.2 5s 609 90 0.00000 16 268 - 0.00000 - 79.6 10s 613 93 0.00000 18 433 - 0.00000 - 79.1 15s 902 68 infeasible 35 - 0.00000 - 156 20s 1400 68 infeasible 30 - 0.00000 - 162 25s 1854 64 infeasible 33 - 0.00000 - 169 30s 2369 53 0.00000 35 282 - 0.00000 - 169 35s 2853 65 0.00000 27 339 - 0.00000 - 170 40s 3332 70 infeasible 36 - 0.00000 - 171 45s 3834 78 infeasible 36 - 0.00000 - 171 50s 4299 81 0.00000 29 311 - 0.00000 - 172 55s 4754 74 infeasible 31 - 0.00000 - 174 60s 5188 76 infeasible 29 - 0.00000 - 176 65s 5651 95 0.00000 28 294 - 0.00000 - 177 70s 6076 110 infeasible 28 - 0.00000 - 178 75s 6539 151 0.00000 32 306 - 0.00000 - 179 80s 7077 119 infeasible 35 - 0.00000 - 177 85s 7513 71 infeasible 36 - 0.00000 - 179 90s 7973 55 0.00000 24 282 - 0.00000 - 179 95s 8422 70 0.00000 27 320 - 0.00000 - 179 100s 8857 41 infeasible 31 - 0.00000 - 180 105s 9337 65 infeasible 29 - 0.00000 - 180 110s 9783 49 infeasible 28 - 0.00000 - 180 115s 10246 34 infeasible 35 - 0.00000 - 180 120s 10716 56 infeasible 30 - 0.00000 - 180 125s 11165 45 0.00000 25 306 - 0.00000 - 181 130s 11640 38 infeasible 29 - 0.00000 - 181 135s 12127 77 infeasible 29 - 0.00000 - 181 140s 12635 83 infeasible 35 - 0.00000 - 181 145s 13129 59 infeasible 34 - 0.00000 - 181 150s 13635 51 infeasible 39 - 0.00000 - 181 155s 14135 47 0.00000 32 302 - 0.00000 - 180 160s 14613 79 infeasible 34 - 0.00000 - 180 165s 15112 76 infeasible 37 - 0.00000 - 180 170s 15630 66 infeasible 37 - 0.00000 - 180 175s 16135 61 0.00000 32 314 - 0.00000 - 180 180s 16625 63 0.00000 35 290 - 0.00000 - 179 185s 17093 41 infeasible 34 - 0.00000 - 180 190s 17572 30 0.00000 27 325 - 0.00000 - 180 195s 18090 52 0.00000 30 387 - 0.00000 - 179 200s 18577 81 0.00000 37 320 - 0.00000 - 179 205s 19114 74 infeasible 36 - 0.00000 - 179 210s 19550 72 infeasible 31 - 0.00000 - 179 215s 20065 69 infeasible 38 - 0.00000 - 179 220s 20498 70 0.00000 30 318 - 0.00000 - 179 225s 20949 59 infeasible 32 - 0.00000 - 180 230s 21386 42 0.00000 31 328 - 0.00000 - 180 235s 21851 67 infeasible 37 - 0.00000 - 180 240s 22338 76 0.00000 36 308 - 0.00000 - 180 245s 22801 91 0.00000 32 306 - 0.00000 - 180 250s 23291 77 infeasible 32 - 0.00000 - 180 255s 23755 63 infeasible 29 - 0.00000 - 180 260s 24193 55 0.00000 30 314 - 0.00000 - 181 265s 24708 50 0.00000 30 330 - 0.00000 - 180 270s 25190 46 infeasible 36 - 0.00000 - 180 275s 25635 53 infeasible 34 - 0.00000 - 181 280s 26102 58 0.00000 26 316 - 0.00000 - 181 285s 26579 93 0.00000 32 308 - 0.00000 - 181 290s 27066 138 infeasible 32 - 0.00000 - 181 295s Cutting planes: Gomory: 1 Zero half: 15 Explored 27085 nodes (4926536 simplex iterations) in 295.19 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