current bounds on the number of colors: 0 -- 115 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:22:29 2012 Optimize a model with 41554 rows, 7282 columns and 130872 nonzeros Presolve time: 0.15s Presolved: 41554 rows, 7282 columns, 130872 nonzeros Variable types: 0 continuous, 7282 integer (7282 binary) Root relaxation: objective 0.000000e+00, 277 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 (553 simplex iterations) in 0.26 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 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:22:30 2012 Optimize a model with 20471 rows, 3947 columns and 64288 nonzeros Presolve time: 0.09s Presolved: 20471 rows, 3947 columns, 64288 nonzeros Variable types: 0 continuous, 3947 integer (3947 binary) Root relaxation: objective 0.000000e+00, 277 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 (598 simplex iterations) in 0.14 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:22:30 2012 Optimize a model with 10293 rows, 2337 columns and 32144 nonzeros Presolve time: 0.03s Presolved: 10293 rows, 2337 columns, 32144 nonzeros Variable types: 0 continuous, 2337 integer (2337 binary) Root relaxation: objective 0.000000e+00, 237 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 (490 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:22:31 2012 Optimize a model with 5204 rows, 1532 columns and 16072 nonzeros Presolve time: 0.01s Presolved: 5204 rows, 1532 columns, 16072 nonzeros Variable types: 0 continuous, 1532 integer (1532 binary) Root relaxation: objective 0.000000e+00, 244 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 (1152 simplex iterations) in 0.06 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:22:31 2012 Optimize a model with 2296 rows, 1072 columns and 6888 nonzeros Presolve time: 0.01s Presolved: 2296 rows, 1072 columns, 6888 nonzeros Variable types: 0 continuous, 1072 integer (1072 binary) Root relaxation: objective 0.000000e+00, 249 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 216 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 2 Clique: 257 Zero half: 383 Explored 0 nodes (1920 simplex iterations) in 0.14 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:22:31 2012 Optimize a model with 3750 rows, 1302 columns and 11480 nonzeros Presolve time: 0.01s Presolved: 3750 rows, 1302 columns, 11480 nonzeros Variable types: 0 continuous, 1302 integer (1302 binary) Root relaxation: objective 0.000000e+00, 244 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 228 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 265 - 0.00000 - - 0s 0 0 0.00000 0 277 - 0.00000 - - 0s 0 0 0.00000 0 275 - 0.00000 - - 1s 0 0 0.00000 0 194 - 0.00000 - - 1s 0 0 0.00000 0 220 - 0.00000 - - 2s 0 0 0.00000 0 231 - 0.00000 - - 2s 0 0 0.00000 0 246 - 0.00000 - - 2s 0 0 0.00000 0 246 - 0.00000 - - 3s 0 2 0.00000 0 243 - 0.00000 - - 3s 226 54 0.00000 14 200 - 0.00000 - 100 5s 606 98 0.00000 12 276 - 0.00000 - 90.8 10s 612 102 0.00000 11 246 - 0.00000 - 90.0 15s 854 138 infeasible 33 - 0.00000 - 151 20s 1249 164 0.00000 38 192 - 0.00000 - 163 25s 1673 206 0.00000 31 226 - 0.00000 - 167 30s 2126 279 0.00000 33 254 - 0.00000 - 167 35s 2530 325 infeasible 36 - 0.00000 - 169 40s 2939 396 infeasible 40 - 0.00000 - 170 45s 3318 419 0.00000 36 182 - 0.00000 - 174 50s 3713 472 infeasible 36 - 0.00000 - 175 55s 4096 505 infeasible 37 - 0.00000 - 177 60s 4518 519 infeasible 37 - 0.00000 - 177 65s 4934 563 0.00000 33 212 - 0.00000 - 177 70s 5312 605 infeasible 33 - 0.00000 - 179 75s 5705 620 0.00000 31 272 - 0.00000 - 179 80s 6079 650 infeasible 28 - 0.00000 - 180 85s 6434 655 0.00000 28 234 - 0.00000 - 182 90s 6774 695 0.00000 31 233 - 0.00000 - 183 95s 7194 705 infeasible 35 - 0.00000 - 183 100s 7576 683 0.00000 31 250 - 0.00000 - 184 105s 7962 683 0.00000 34 247 - 0.00000 - 184 110s 8352 661 infeasible 33 - 0.00000 - 185 115s 8741 680 0.00000 32 255 - 0.00000 - 185 120s 9148 695 0.00000 36 172 - 0.00000 - 185 125s 9560 677 infeasible 37 - 0.00000 - 185 130s 9952 671 0.00000 36 180 - 0.00000 - 185 135s 10349 682 infeasible 35 - 0.00000 - 185 140s 10723 720 0.00000 34 226 - 0.00000 - 186 145s 11114 707 infeasible 41 - 0.00000 - 186 150s 11487 702 0.00000 28 241 - 0.00000 - 186 155s 11862 709 infeasible 39 - 0.00000 - 187 160s 12252 701 0.00000 36 235 - 0.00000 - 187 165s 12642 697 infeasible 34 - 0.00000 - 187 170s 13005 696 infeasible 37 - 0.00000 - 188 175s 13346 685 0.00000 37 222 - 0.00000 - 188 180s 13722 677 infeasible 34 - 0.00000 - 188 185s 14097 672 0.00000 37 242 - 0.00000 - 189 190s 14486 691 infeasible 34 - 0.00000 - 189 195s 14829 684 infeasible 32 - 0.00000 - 189 200s 15193 688 infeasible 39 - 0.00000 - 190 205s 15540 683 infeasible 33 - 0.00000 - 190 210s 15935 686 0.00000 35 249 - 0.00000 - 190 215s 16306 667 infeasible 34 - 0.00000 - 191 220s 16649 690 0.00000 33 260 - 0.00000 - 191 225s 17001 702 0.00000 34 250 - 0.00000 - 191 230s 17355 702 infeasible 40 - 0.00000 - 192 235s 17738 711 0.00000 40 224 - 0.00000 - 192 240s 18142 713 infeasible 36 - 0.00000 - 192 245s 18501 738 infeasible 33 - 0.00000 - 192 250s 18883 754 0.00000 35 186 - 0.00000 - 192 255s 19272 737 infeasible 37 - 0.00000 - 192 260s 19638 769 infeasible 27 - 0.00000 - 192 265s 20026 777 0.00000 40 236 - 0.00000 - 192 270s 20430 783 infeasible 39 - 0.00000 - 192 275s 20805 770 infeasible 36 - 0.00000 - 192 280s 21153 784 infeasible 32 - 0.00000 - 193 285s 21457 808 0.00000 37 239 - 0.00000 - 193 290s 21804 825 infeasible 33 - 0.00000 - 193 295s Cutting planes: Gomory: 1 Zero half: 13 Explored 21977 nodes (4275296 simplex iterations) in 297.48 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: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:27:28 2012 Optimize a model with 4477 rows, 1417 columns and 13776 nonzeros Presolve time: 0.01s Presolved: 4477 rows, 1417 columns, 13776 nonzeros Variable types: 0 continuous, 1417 integer (1417 binary) Root relaxation: objective 0.000000e+00, 248 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 159 - 0.00000 - - 0s Explored 0 nodes (843 simplex iterations) in 0.05 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: 7