current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:29:28 2012 Optimize a model with 73073 rows, 11657 columns and 229439 nonzeros Presolve time: 0.20s Presolved: 73073 rows, 11657 columns, 229439 nonzeros Variable types: 0 continuous, 11657 integer (11657 binary) Root relaxation: objective 0.000000e+00, 355 iterations, 0.08 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 (671 simplex iterations) in 0.39 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:29:29 2012 Optimize a model with 36110 rows, 6255 columns and 113148 nonzeros Presolve time: 0.16s Presolved: 36110 rows, 6255 columns, 113148 nonzeros Variable types: 0 continuous, 6255 integer (6255 binary) Root relaxation: objective 0.000000e+00, 456 iterations, 0.04 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 (850 simplex iterations) in 0.25 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:29:30 2012 Optimize a model with 18128 rows, 3627 columns and 56574 nonzeros Presolve time: 0.06s Presolved: 18128 rows, 3627 columns, 56574 nonzeros Variable types: 0 continuous, 3627 integer (3627 binary) Root relaxation: objective 0.000000e+00, 296 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 (747 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:29:30 2012 Optimize a model with 9137 rows, 2313 columns and 28287 nonzeros Presolve time: 0.03s Presolved: 9137 rows, 2313 columns, 28287 nonzeros Variable types: 0 continuous, 2313 integer (2313 binary) Root relaxation: objective 0.000000e+00, 302 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 (906 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:29:30 2012 Optimize a model with 4142 rows, 1583 columns and 12572 nonzeros Presolve time: 0.01s Presolved: 4142 rows, 1583 columns, 12572 nonzeros Variable types: 0 continuous, 1583 integer (1583 binary) Root relaxation: objective 0.000000e+00, 319 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 292 - 0.00000 - - 0s 0 0 0.00000 0 271 - 0.00000 - - 0s 0 0 0.00000 0 466 - 0.00000 - - 1s 0 0 0.00000 0 462 - 0.00000 - - 2s 0 0 0.00000 0 471 - 0.00000 - - 2s 0 0 0.00000 0 470 - 0.00000 - - 3s 0 0 0.00000 0 459 - 0.00000 - - 4s 0 0 0.00000 0 461 - 0.00000 - - 5s 0 0 0.00000 0 455 - 0.00000 - - 6s 0 0 0.00000 0 455 - 0.00000 - - 7s 0 0 0.00000 0 456 - 0.00000 - - 7s 0 0 0.00000 0 456 - 0.00000 - - 8s 0 2 0.00000 0 456 - 0.00000 - - 9s 11 5 0.00000 5 431 - 0.00000 - 606 10s Cutting planes: Clique: 25 Zero half: 21 Explored 33 nodes (54190 simplex iterations) in 11.29 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:29:42 2012 Optimize a model with 6140 rows, 1875 columns and 18858 nonzeros Presolve time: 0.02s Presolved: 6140 rows, 1875 columns, 18858 nonzeros Variable types: 0 continuous, 1875 integer (1875 binary) Root relaxation: objective 0.000000e+00, 316 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 278 - 0.00000 - - 0s 0 0 0.00000 0 215 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (10169 simplex iterations) in 1.50 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:29:43 2012 Optimize a model with 5141 rows, 1729 columns and 15715 nonzeros Presolve time: 0.01s Presolved: 5141 rows, 1729 columns, 15715 nonzeros Variable types: 0 continuous, 1729 integer (1729 binary) Root relaxation: objective 0.000000e+00, 307 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 282 - 0.00000 - - 0s 0 0 0.00000 0 268 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 447 - 0.00000 - - 1s 0 0 0.00000 0 337 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 386 - 0.00000 - - 4s 0 0 0.00000 0 397 - 0.00000 - - 6s 0 0 0.00000 0 397 - 0.00000 - - 6s 0 2 0.00000 0 397 - 0.00000 - - 7s 167 29 0.00000 23 240 - 0.00000 - 168 10s 571 39 infeasible 30 - 0.00000 - 149 15s 803 43 0.00000 8 274 - 0.00000 - 151 20s 806 45 0.00000 27 364 - 0.00000 - 151 26s 808 47 0.00000 12 346 - 0.00000 - 150 30s 811 49 0.00000 5 367 - 0.00000 - 150 37s 813 50 0.00000 30 361 - 0.00000 - 149 42s 815 51 0.00000 15 356 - 0.00000 - 149 45s 818 53 0.00000 26 346 - 0.00000 - 148 51s 821 55 0.00000 15 344 - 0.00000 - 148 55s 891 64 0.00000 27 325 - 0.00000 - 234 60s 1069 78 infeasible 36 - 0.00000 - 242 65s 1253 100 0.00000 23 334 - 0.00000 - 248 70s 1421 134 0.00000 30 336 - 0.00000 - 255 75s 1582 111 infeasible 32 - 0.00000 - 263 80s 1741 120 infeasible 31 - 0.00000 - 269 85s 1914 107 0.00000 28 302 - 0.00000 - 272 90s 2096 113 0.00000 29 324 - 0.00000 - 273 95s 2279 122 infeasible 37 - 0.00000 - 274 100s 2429 118 infeasible 29 - 0.00000 - 278 105s 2578 109 infeasible 33 - 0.00000 - 281 110s 2735 108 infeasible 33 - 0.00000 - 284 115s 2912 111 infeasible 37 - 0.00000 - 284 120s 3084 105 0.00000 28 333 - 0.00000 - 286 125s 3252 119 infeasible 28 - 0.00000 - 287 130s 3405 142 infeasible 33 - 0.00000 - 289 135s 3559 144 0.00000 35 315 - 0.00000 - 291 140s 3727 148 0.00000 29 312 - 0.00000 - 292 145s 3892 147 infeasible 34 - 0.00000 - 294 150s 4057 146 0.00000 35 304 - 0.00000 - 294 155s 4222 135 infeasible 29 - 0.00000 - 295 160s 4369 130 infeasible 34 - 0.00000 - 297 165s 4521 132 infeasible 32 - 0.00000 - 298 170s 4689 140 0.00000 28 336 - 0.00000 - 298 175s 4864 147 0.00000 32 340 - 0.00000 - 298 180s 5060 147 0.00000 32 272 - 0.00000 - 297 185s 5243 164 0.00000 35 271 - 0.00000 - 297 190s 5409 154 0.00000 34 321 - 0.00000 - 298 195s 5581 142 0.00000 35 244 - 0.00000 - 298 200s 5751 136 0.00000 31 311 - 0.00000 - 298 205s 5915 142 infeasible 30 - 0.00000 - 298 210s 6076 147 0.00000 23 337 - 0.00000 - 299 215s 6233 152 0.00000 35 323 - 0.00000 - 300 220s 6401 144 infeasible 38 - 0.00000 - 300 225s 6547 146 0.00000 27 342 - 0.00000 - 301 230s 6732 145 0.00000 29 246 - 0.00000 - 300 235s 6860 149 infeasible 31 - 0.00000 - 302 240s 7000 153 infeasible 27 - 0.00000 - 303 245s 7132 153 0.00000 26 284 - 0.00000 - 304 250s 7282 149 infeasible 33 - 0.00000 - 305 255s 7442 145 0.00000 27 342 - 0.00000 - 305 260s 7582 153 infeasible 34 - 0.00000 - 306 265s 7728 157 infeasible 35 - 0.00000 - 307 270s 7883 158 infeasible 34 - 0.00000 - 307 275s 8046 149 infeasible 33 - 0.00000 - 307 280s Cutting planes: Clique: 8 Zero half: 21 Explored 8139 nodes (2541200 simplex iterations) in 283.01 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: 6