current bounds on the number of colors: 0 -- 125 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:32:13 2012 Optimize a model with 48299 rows, 8527 columns and 152272 nonzeros Presolve time: 0.16s Presolved: 48299 rows, 8527 columns, 152272 nonzeros Variable types: 0 continuous, 8527 integer (8527 binary) Root relaxation: objective 0.000000e+00, 311 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 (589 simplex iterations) in 0.28 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:32:14 2012 Optimize a model with 24212 rows, 4652 columns and 76136 nonzeros Presolve time: 0.11s Presolved: 24212 rows, 4652 columns, 76136 nonzeros Variable types: 0 continuous, 4652 integer (4652 binary) Root relaxation: objective 0.000000e+00, 304 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 (558 simplex iterations) in 0.16 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:32:14 2012 Optimize a model with 11780 rows, 2652 columns and 36840 nonzeros Presolve time: 0.04s Presolved: 11780 rows, 2652 columns, 36840 nonzeros Variable types: 0 continuous, 2652 integer (2652 binary) Root relaxation: objective 0.000000e+00, 251 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 (524 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:32:14 2012 Optimize a model with 5564 rows, 1652 columns and 17192 nonzeros Presolve time: 0.01s Presolved: 5564 rows, 1652 columns, 17192 nonzeros Variable types: 0 continuous, 1652 integer (1652 binary) Root relaxation: objective 0.000000e+00, 273 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 56 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1650 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:32:15 2012 Optimize a model with 2456 rows, 1152 columns and 7368 nonzeros Presolve time: 0.01s Presolved: 2456 rows, 1152 columns, 7368 nonzeros Variable types: 0 continuous, 1152 integer (1152 binary) Root relaxation: objective 0.000000e+00, 280 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 206 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3552 simplex iterations) in 0.37 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 22:32:15 2012 Optimize a model with 4010 rows, 1402 columns and 12280 nonzeros Presolve time: 0.01s Presolved: 4010 rows, 1402 columns, 12280 nonzeros Variable types: 0 continuous, 1402 integer (1402 binary) Root relaxation: objective 0.000000e+00, 282 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 130 - 0.00000 - - 0s 0 0 0.00000 0 183 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 190 - 0.00000 - - 1s 0 0 0.00000 0 237 - 0.00000 - - 2s 0 0 0.00000 0 251 - 0.00000 - - 2s 0 0 0.00000 0 267 - 0.00000 - - 2s 0 0 0.00000 0 213 - 0.00000 - - 3s 0 2 0.00000 0 178 - 0.00000 - - 3s 228 52 infeasible 21 - 0.00000 - 104 5s 615 108 0.00000 25 174 - 0.00000 - 84.9 10s 620 111 0.00000 26 268 - 0.00000 - 84.2 15s 629 117 0.00000 18 218 - 0.00000 - 156 20s 858 106 0.00000 30 210 - 0.00000 - 168 25s 1164 106 0.00000 32 206 - 0.00000 - 182 30s 1556 180 0.00000 30 290 - 0.00000 - 182 35s 1947 219 0.00000 35 234 - 0.00000 - 183 40s 2330 268 infeasible 39 - 0.00000 - 184 45s 2696 314 infeasible 35 - 0.00000 - 187 50s 3040 306 infeasible 34 - 0.00000 - 190 55s 3405 313 infeasible 38 - 0.00000 - 191 60s 3770 354 0.00000 46 204 - 0.00000 - 193 65s 4158 360 infeasible 36 - 0.00000 - 194 70s 4503 391 infeasible 39 - 0.00000 - 196 75s 4835 407 0.00000 35 278 - 0.00000 - 197 80s 5198 404 infeasible 35 - 0.00000 - 198 85s 5557 401 0.00000 36 240 - 0.00000 - 199 90s 5857 415 infeasible 28 - 0.00000 - 201 95s 6252 472 infeasible 29 - 0.00000 - 200 100s 6648 534 0.00000 37 228 - 0.00000 - 200 105s 7065 535 0.00000 27 287 - 0.00000 - 199 110s 7449 583 0.00000 26 256 - 0.00000 - 199 115s 7877 589 infeasible 33 - 0.00000 - 199 120s 8241 593 0.00000 32 202 - 0.00000 - 199 125s 8607 581 infeasible 32 - 0.00000 - 199 130s 8958 576 infeasible 37 - 0.00000 - 200 135s 9350 600 infeasible 31 - 0.00000 - 200 140s 9682 610 infeasible 30 - 0.00000 - 201 145s 10056 612 0.00000 31 267 - 0.00000 - 201 150s 10391 611 infeasible 35 - 0.00000 - 202 155s 10786 622 infeasible 29 - 0.00000 - 202 160s 11161 689 infeasible 37 - 0.00000 - 202 165s 11529 719 0.00000 33 226 - 0.00000 - 202 170s 11947 747 infeasible 37 - 0.00000 - 202 175s 12330 788 0.00000 37 188 - 0.00000 - 202 180s 12710 776 infeasible 35 - 0.00000 - 202 185s 13086 794 infeasible 33 - 0.00000 - 202 190s 13458 788 infeasible 31 - 0.00000 - 202 195s 13862 790 infeasible 30 - 0.00000 - 202 200s 14178 822 infeasible 39 - 0.00000 - 203 205s 14539 811 infeasible 33 - 0.00000 - 203 210s 14918 828 infeasible 39 - 0.00000 - 203 215s 15294 832 infeasible 31 - 0.00000 - 204 220s 15654 830 infeasible 33 - 0.00000 - 204 225s 15996 806 0.00000 29 278 - 0.00000 - 204 230s 16408 806 0.00000 36 192 - 0.00000 - 204 235s 16776 804 infeasible 39 - 0.00000 - 204 240s 17154 828 0.00000 36 196 - 0.00000 - 204 245s 17527 827 infeasible 33 - 0.00000 - 204 250s 17914 814 infeasible 35 - 0.00000 - 204 255s 18246 810 0.00000 37 259 - 0.00000 - 205 260s 18671 815 0.00000 36 200 - 0.00000 - 204 265s 19014 802 0.00000 37 261 - 0.00000 - 205 270s 19376 798 infeasible 30 - 0.00000 - 205 275s 19756 814 infeasible 35 - 0.00000 - 205 280s 20153 857 infeasible 38 - 0.00000 - 205 285s 20528 870 0.00000 33 231 - 0.00000 - 205 290s 20891 877 0.00000 36 258 - 0.00000 - 205 295s Cutting planes: Clique: 1 Zero half: 12 Explored 21022 nodes (4346708 simplex iterations) in 296.89 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 22:37:12 2012 Optimize a model with 4787 rows, 1527 columns and 14736 nonzeros Presolve time: 0.01s Presolved: 4787 rows, 1527 columns, 14736 nonzeros Variable types: 0 continuous, 1527 integer (1527 binary) Root relaxation: objective 0.000000e+00, 276 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 250 - 0.00000 - - 0s Explored 0 nodes (788 simplex iterations) in 0.04 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