current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:03:18 2012 Optimize a model with 61625 rows, 15173 columns and 198815 nonzeros Presolve time: 0.19s Presolved: 61625 rows, 15173 columns, 198815 nonzeros Variable types: 0 continuous, 15173 integer (15173 binary) Root relaxation: objective 0.000000e+00, 592 iterations, 0.05 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 (959 simplex iterations) in 0.33 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:03:19 2012 Optimize a model with 30536 rows, 7863 columns and 98238 nonzeros Presolve time: 0.14s Presolved: 30536 rows, 7863 columns, 98238 nonzeros Variable types: 0 continuous, 7863 integer (7863 binary) Root relaxation: objective 0.000000e+00, 501 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 (871 simplex iterations) in 0.21 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:03:19 2012 Optimize a model with 15353 rows, 4293 columns and 49119 nonzeros Presolve time: 0.06s Presolved: 15353 rows, 4293 columns, 49119 nonzeros Variable types: 0 continuous, 4293 integer (4293 binary) Root relaxation: objective 0.000000e+00, 350 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 (639 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:03:20 2012 Optimize a model with 7400 rows, 2423 columns and 23390 nonzeros Presolve time: 0.02s Presolved: 7400 rows, 2423 columns, 23390 nonzeros Variable types: 0 continuous, 2423 integer (2423 binary) Root relaxation: objective 0.000000e+00, 366 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 (676 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:03:20 2012 Optimize a model with 3785 rows, 1573 columns and 11695 nonzeros Presolve time: 0.01s Presolved: 3785 rows, 1573 columns, 11695 nonzeros Variable types: 0 continuous, 1573 integer (1573 binary) Root relaxation: objective 0.000000e+00, 380 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 (2064 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:03:20 2012 Optimize a model with 1616 rows, 1063 columns and 4678 nonzeros Presolve removed 170 rows and 170 columns Presolve time: 0.00s Presolved: 1446 rows, 893 columns, 4338 nonzeros Variable types: 0 continuous, 893 integer (893 binary) Root relaxation: objective 0.000000e+00, 183 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 170 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (705 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 Fri Dec 14 21:03:20 2012 Optimize a model with 2339 rows, 1233 columns and 7017 nonzeros Presolve time: 0.01s Presolved: 2339 rows, 1233 columns, 7017 nonzeros Variable types: 0 continuous, 1233 integer (1233 binary) Root relaxation: objective 0.000000e+00, 398 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 338 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3931 simplex iterations) in 0.39 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 Fri Dec 14 21:03:20 2012 Optimize a model with 3062 rows, 1403 columns and 9356 nonzeros Presolve time: 0.01s Presolved: 3062 rows, 1403 columns, 9356 nonzeros Variable types: 0 continuous, 1403 integer (1403 binary) Root relaxation: objective 0.000000e+00, 367 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 334 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 301 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 237 - 0.00000 - - 1s 0 0 0.00000 0 228 - 0.00000 - - 1s 0 0 0.00000 0 206 - 0.00000 - - 2s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 2 0.00000 0 210 - 0.00000 - - 3s 536 130 0.00000 12 308 - 0.00000 - 83.1 5s 610 152 0.00000 15 182 - 0.00000 - 81.0 10s 668 183 0.00000 20 266 - 0.00000 - 141 15s 1262 277 0.00000 25 324 - 0.00000 - 141 20s 1833 404 0.00000 23 284 - 0.00000 - 147 25s 2391 468 0.00000 26 327 - 0.00000 - 151 30s 2976 503 infeasible 23 - 0.00000 - 152 35s 3520 517 infeasible 28 - 0.00000 - 155 40s 4080 569 0.00000 24 341 - 0.00000 - 156 45s 4649 638 0.00000 20 338 - 0.00000 - 157 50s 5167 696 0.00000 25 276 - 0.00000 - 158 55s 5742 725 0.00000 25 305 - 0.00000 - 158 60s 6315 710 infeasible 24 - 0.00000 - 159 65s 6888 725 0.00000 29 280 - 0.00000 - 159 70s 7436 759 0.00000 20 264 - 0.00000 - 160 75s 7999 796 0.00000 24 298 - 0.00000 - 160 80s 8599 812 infeasible 29 - 0.00000 - 160 85s 9148 797 infeasible 25 - 0.00000 - 161 90s 9692 773 infeasible 31 - 0.00000 - 162 95s 10241 728 0.00000 27 314 - 0.00000 - 162 100s 10767 696 infeasible 28 - 0.00000 - 163 105s 11331 668 infeasible 28 - 0.00000 - 163 110s 11871 656 infeasible 31 - 0.00000 - 163 115s 12432 657 0.00000 25 280 - 0.00000 - 163 120s 12960 619 infeasible 24 - 0.00000 - 164 125s 13470 609 0.00000 22 306 - 0.00000 - 164 130s 13985 598 0.00000 27 272 - 0.00000 - 165 135s 14511 570 infeasible 22 - 0.00000 - 165 140s 15056 575 infeasible 25 - 0.00000 - 165 145s 15550 589 infeasible 29 - 0.00000 - 166 150s 16048 611 infeasible 31 - 0.00000 - 166 155s 16593 632 0.00000 27 275 - 0.00000 - 166 160s 17104 637 0.00000 24 274 - 0.00000 - 167 165s 17645 620 0.00000 30 301 - 0.00000 - 167 170s 18150 635 0.00000 26 294 - 0.00000 - 167 175s 18681 602 infeasible 26 - 0.00000 - 167 180s 19210 577 0.00000 24 290 - 0.00000 - 167 185s 19728 547 infeasible 24 - 0.00000 - 167 190s 20228 527 infeasible 22 - 0.00000 - 168 195s 20685 532 0.00000 24 325 - 0.00000 - 168 200s 21199 524 infeasible 32 - 0.00000 - 168 205s 21728 523 0.00000 22 270 - 0.00000 - 168 210s 22234 519 0.00000 22 337 - 0.00000 - 169 215s 22781 505 0.00000 28 294 - 0.00000 - 168 220s 23282 488 infeasible 27 - 0.00000 - 169 225s 23773 471 0.00000 32 314 - 0.00000 - 169 230s 24240 446 infeasible 25 - 0.00000 - 169 235s 24755 401 0.00000 23 290 - 0.00000 - 169 240s 25229 399 infeasible 29 - 0.00000 - 170 245s 25729 377 0.00000 25 280 - 0.00000 - 170 250s 26199 367 infeasible 31 - 0.00000 - 170 255s 26733 369 infeasible 30 - 0.00000 - 170 260s 27244 346 infeasible 26 - 0.00000 - 170 265s 27748 316 infeasible 31 - 0.00000 - 171 270s 28194 308 infeasible 31 - 0.00000 - 171 275s 28688 290 infeasible 28 - 0.00000 - 171 280s 29169 263 infeasible 24 - 0.00000 - 171 285s 29676 264 infeasible 28 - 0.00000 - 171 290s 30167 247 0.00000 24 290 - 0.00000 - 172 295s Cutting planes: Gomory: 1 Zero half: 14 Explored 30251 nodes (5220612 simplex iterations) in 295.94 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