current bounds on the number of colors: 0 -- 167 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:17:54 2012 Optimize a model with 58184 rows, 14560 columns and 187912 nonzeros Presolve time: 0.17s Presolved: 58184 rows, 14560 columns, 187912 nonzeros Variable types: 0 continuous, 14560 integer (14560 binary) Root relaxation: objective 0.000000e+00, 660 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 (1021 simplex iterations) in 0.32 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 -- 83 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:17:55 2012 Optimize a model with 28826 rows, 7546 columns and 92824 nonzeros Presolve time: 0.14s Presolved: 28826 rows, 7546 columns, 92824 nonzeros Variable types: 0 continuous, 7546 integer (7546 binary) Root relaxation: objective 0.000000e+00, 539 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 (902 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:17:56 2012 Optimize a model with 14147 rows, 4039 columns and 45280 nonzeros Presolve time: 0.05s Presolved: 14147 rows, 4039 columns, 45280 nonzeros Variable types: 0 continuous, 4039 integer (4039 binary) Root relaxation: objective 0.000000e+00, 347 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 (636 simplex iterations) in 0.08 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:17:56 2012 Optimize a model with 7157 rows, 2369 columns and 22640 nonzeros Presolve time: 0.02s Presolved: 7157 rows, 2369 columns, 22640 nonzeros Variable types: 0 continuous, 2369 integer (2369 binary) Root relaxation: objective 0.000000e+00, 352 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.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 20:17:56 2012 Optimize a model with 3662 rows, 1534 columns and 11320 nonzeros Presolve time: 0.01s Presolved: 3662 rows, 1534 columns, 11320 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 375 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 146 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2950 simplex iterations) in 0.18 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 20:17:57 2012 Optimize a model with 1565 rows, 1033 columns and 4528 nonzeros Presolve removed 167 rows and 167 columns Presolve time: 0.00s Presolved: 1398 rows, 866 columns, 4194 nonzeros Variable types: 0 continuous, 866 integer (866 binary) Root relaxation: objective 0.000000e+00, 182 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 167 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (722 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 20:17:57 2012 Optimize a model with 2264 rows, 1200 columns and 6792 nonzeros Presolve time: 0.01s Presolved: 2264 rows, 1200 columns, 6792 nonzeros Variable types: 0 continuous, 1200 integer (1200 binary) Root relaxation: objective 0.000000e+00, 385 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 326 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4341 simplex iterations) in 0.41 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 20:17:57 2012 Optimize a model with 2963 rows, 1367 columns and 9056 nonzeros Presolve time: 0.01s Presolved: 2963 rows, 1367 columns, 9056 nonzeros Variable types: 0 continuous, 1367 integer (1367 binary) Root relaxation: objective 0.000000e+00, 374 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 292 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 252 - 0.00000 - - 2s 0 0 0.00000 0 254 - 0.00000 - - 2s 0 0 0.00000 0 243 - 0.00000 - - 3s 0 0 0.00000 0 238 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 382 - 0.00000 - - 4s 0 0 0.00000 0 382 - 0.00000 - - 4s 0 2 0.00000 0 382 - 0.00000 - - 4s 37 23 0.00000 16 268 - 0.00000 - 157 5s 608 82 0.00000 4 354 - 0.00000 - 74.7 10s 614 86 0.00000 16 313 - 0.00000 - 74.0 15s 915 63 0.00000 27 234 - 0.00000 - 134 20s 1572 178 0.00000 22 334 - 0.00000 - 137 25s 2190 282 infeasible 26 - 0.00000 - 141 30s 2808 350 infeasible 27 - 0.00000 - 144 35s 3419 351 0.00000 27 270 - 0.00000 - 146 40s 3985 361 0.00000 31 307 - 0.00000 - 148 45s 4684 474 infeasible 28 - 0.00000 - 146 50s 5378 586 infeasible 28 - 0.00000 - 145 55s 6016 634 0.00000 26 270 - 0.00000 - 146 60s 6655 609 infeasible 29 - 0.00000 - 147 65s 7282 640 infeasible 23 - 0.00000 - 147 70s 7877 625 infeasible 27 - 0.00000 - 148 75s 8540 722 0.00000 23 250 - 0.00000 - 148 80s 9216 752 infeasible 32 - 0.00000 - 147 85s 9888 761 0.00000 25 280 - 0.00000 - 147 90s 10525 796 0.00000 21 287 - 0.00000 - 147 95s 11235 884 infeasible 25 - 0.00000 - 146 100s 11918 895 0.00000 34 278 - 0.00000 - 146 105s 12575 833 infeasible 30 - 0.00000 - 146 110s 13182 806 infeasible 28 - 0.00000 - 146 115s 13804 762 0.00000 29 289 - 0.00000 - 147 120s 14449 719 0.00000 27 248 - 0.00000 - 147 125s 15092 690 infeasible 26 - 0.00000 - 147 130s 15736 662 0.00000 30 302 - 0.00000 - 147 135s 16345 603 infeasible 31 - 0.00000 - 147 140s 16969 599 0.00000 25 272 - 0.00000 - 148 145s 17605 587 infeasible 26 - 0.00000 - 148 150s 18252 536 infeasible 28 - 0.00000 - 148 155s 18865 561 infeasible 29 - 0.00000 - 148 160s 19504 544 infeasible 34 - 0.00000 - 148 165s 20130 462 infeasible 31 - 0.00000 - 148 170s 20766 464 0.00000 29 284 - 0.00000 - 148 175s 21416 456 0.00000 28 341 - 0.00000 - 148 180s 22012 426 infeasible 32 - 0.00000 - 148 185s 22667 435 infeasible 33 - 0.00000 - 148 190s 23296 416 0.00000 28 294 - 0.00000 - 148 195s 23922 384 infeasible 29 - 0.00000 - 148 200s 24541 363 0.00000 24 264 - 0.00000 - 148 205s 25181 349 infeasible 27 - 0.00000 - 148 210s 25785 307 0.00000 29 323 - 0.00000 - 148 215s 26367 291 infeasible 28 - 0.00000 - 149 220s 26981 275 infeasible 28 - 0.00000 - 149 225s 27569 235 0.00000 25 290 - 0.00000 - 149 230s 28141 193 infeasible 34 - 0.00000 - 149 235s 28726 178 infeasible 28 - 0.00000 - 149 240s 29337 131 infeasible 25 - 0.00000 - 149 245s 29923 101 0.00000 30 299 - 0.00000 - 149 250s 30587 85 infeasible 28 - 0.00000 - 149 255s 31247 69 infeasible 27 - 0.00000 - 149 260s 31785 43 infeasible 35 - 0.00000 - 150 265s 32439 25 0.00000 23 288 - 0.00000 - 149 270s Cutting planes: Gomory: 1 Zero half: 19 Explored 32701 nodes (4937088 simplex iterations) in 272.52 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5