current bounds on the number of colors: 0 -- 171 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:30:19 2012 Optimize a model with 62306 rows, 15266 columns and 200940 nonzeros Presolve time: 0.19s Presolved: 62306 rows, 15266 columns, 200940 nonzeros Variable types: 0 continuous, 15266 integer (15266 binary) Root relaxation: objective 0.000000e+00, 705 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 (1085 simplex iterations) in 0.35 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:30:20 2012 Optimize a model with 30873 rows, 7913 columns and 99288 nonzeros Presolve time: 0.14s Presolved: 30873 rows, 7913 columns, 99288 nonzeros Variable types: 0 continuous, 7913 integer (7913 binary) Root relaxation: objective 0.000000e+00, 484 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 (831 simplex iterations) in 0.20 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:30:21 2012 Optimize a model with 15522 rows, 4322 columns and 49644 nonzeros Presolve time: 0.06s Presolved: 15522 rows, 4322 columns, 49644 nonzeros Variable types: 0 continuous, 4322 integer (4322 binary) Root relaxation: objective 0.000000e+00, 348 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 (652 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:30:21 2012 Optimize a model with 7481 rows, 2441 columns and 23640 nonzeros Presolve time: 0.02s Presolved: 7481 rows, 2441 columns, 23640 nonzeros Variable types: 0 continuous, 2441 integer (2441 binary) Root relaxation: objective 0.000000e+00, 379 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 (709 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:30:21 2012 Optimize a model with 3826 rows, 1586 columns and 11820 nonzeros Presolve time: 0.01s Presolved: 3826 rows, 1586 columns, 11820 nonzeros Variable types: 0 continuous, 1586 integer (1586 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 (1985 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:30:21 2012 Optimize a model with 1633 rows, 1073 columns and 4728 nonzeros Presolve removed 171 rows and 171 columns Presolve time: 0.00s Presolved: 1462 rows, 902 columns, 4386 nonzeros Variable types: 0 continuous, 902 integer (902 binary) Root relaxation: objective 0.000000e+00, 181 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 171 - 0.00000 - - 0s Explored 0 nodes (703 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:30:21 2012 Optimize a model with 2364 rows, 1244 columns and 7092 nonzeros Presolve time: 0.01s Presolved: 2364 rows, 1244 columns, 7092 nonzeros Variable types: 0 continuous, 1244 integer (1244 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 334 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 471 - 0.00000 - - 0s 0 0 0.00000 0 470 - 0.00000 - - 0s 0 0 0.00000 0 467 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 3 Zero half: 387 Explored 0 nodes (7397 simplex iterations) in 1.12 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:30:23 2012 Optimize a model with 3095 rows, 1415 columns and 9456 nonzeros Presolve time: 0.01s Presolved: 3095 rows, 1415 columns, 9456 nonzeros Variable types: 0 continuous, 1415 integer (1415 binary) Root relaxation: objective 0.000000e+00, 396 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 324 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 230 - 0.00000 - - 2s 0 0 0.00000 0 225 - 0.00000 - - 2s 0 0 0.00000 0 232 - 0.00000 - - 2s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 2 0.00000 0 236 - 0.00000 - - 3s 488 54 0.00000 18 256 - 0.00000 - 85.5 5s 609 86 0.00000 11 349 - 0.00000 - 82.6 10s 1042 106 0.00000 25 250 - 0.00000 - 139 15s 1597 151 infeasible 32 - 0.00000 - 147 20s 2141 159 infeasible 33 - 0.00000 - 152 25s 2658 152 infeasible 31 - 0.00000 - 157 30s 3227 179 0.00000 31 310 - 0.00000 - 158 35s 3792 160 0.00000 36 268 - 0.00000 - 159 40s 4307 157 infeasible 32 - 0.00000 - 162 45s 4861 177 infeasible 35 - 0.00000 - 162 50s 5407 203 infeasible 36 - 0.00000 - 163 55s 5894 224 infeasible 30 - 0.00000 - 165 60s 6434 248 infeasible 36 - 0.00000 - 165 65s 6897 267 infeasible 35 - 0.00000 - 166 70s 7414 264 infeasible 33 - 0.00000 - 167 75s 7931 285 infeasible 37 - 0.00000 - 168 80s 8457 279 0.00000 31 293 - 0.00000 - 168 85s 8949 245 infeasible 33 - 0.00000 - 169 90s 9503 323 0.00000 31 262 - 0.00000 - 169 95s 10097 401 infeasible 36 - 0.00000 - 168 100s 10720 520 0.00000 31 303 - 0.00000 - 167 105s 11362 572 infeasible 33 - 0.00000 - 165 110s 11977 615 0.00000 29 276 - 0.00000 - 165 115s 12566 650 0.00000 34 288 - 0.00000 - 164 120s 13118 648 infeasible 34 - 0.00000 - 165 125s 13645 643 infeasible 32 - 0.00000 - 165 130s 14211 641 infeasible 36 - 0.00000 - 165 135s 14750 634 0.00000 33 297 - 0.00000 - 165 140s 15316 586 0.00000 32 276 - 0.00000 - 165 145s 15847 545 infeasible 30 - 0.00000 - 166 150s 16403 531 infeasible 34 - 0.00000 - 166 155s 16938 504 infeasible 33 - 0.00000 - 166 160s 17437 515 infeasible 34 - 0.00000 - 167 165s 17956 486 0.00000 31 290 - 0.00000 - 167 170s 18499 471 infeasible 33 - 0.00000 - 167 175s 19033 465 0.00000 29 246 - 0.00000 - 167 180s 19626 580 infeasible 30 - 0.00000 - 167 185s 20207 611 0.00000 32 284 - 0.00000 - 167 190s 20758 602 infeasible 34 - 0.00000 - 167 195s 21287 585 infeasible 33 - 0.00000 - 167 200s 21811 621 infeasible 32 - 0.00000 - 167 205s 22398 664 infeasible 32 - 0.00000 - 167 210s 22950 662 0.00000 32 304 - 0.00000 - 167 215s 23527 649 infeasible 31 - 0.00000 - 167 220s 24088 650 infeasible 32 - 0.00000 - 167 225s 24633 625 0.00000 31 364 - 0.00000 - 167 230s 25141 597 infeasible 31 - 0.00000 - 167 235s 25664 582 0.00000 35 270 - 0.00000 - 167 240s 26181 597 infeasible 34 - 0.00000 - 168 245s 26743 597 infeasible 31 - 0.00000 - 168 250s 27269 591 infeasible 30 - 0.00000 - 168 255s 27777 563 infeasible 33 - 0.00000 - 168 260s 28301 529 0.00000 32 327 - 0.00000 - 168 265s 28846 520 infeasible 37 - 0.00000 - 168 270s 29418 522 infeasible 36 - 0.00000 - 168 275s 29966 534 infeasible 29 - 0.00000 - 168 280s 30507 535 infeasible 35 - 0.00000 - 168 285s 31064 528 infeasible 32 - 0.00000 - 168 290s 31646 522 infeasible 31 - 0.00000 - 168 295s Cutting planes: Gomory: 1 Zero half: 12 Explored 31670 nodes (5348776 simplex iterations) in 295.16 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