current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:58:21 2012 Optimize a model with 66586 rows, 10554 columns and 208932 nonzeros Presolve time: 0.20s Presolved: 66586 rows, 10554 columns, 208932 nonzeros Variable types: 0 continuous, 10554 integer (10554 binary) Root relaxation: objective 0.000000e+00, 337 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 (670 simplex iterations) in 0.36 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:58:22 2012 Optimize a model with 32881 rows, 5689 columns and 102952 nonzeros Presolve time: 0.15s Presolved: 32881 rows, 5689 columns, 102952 nonzeros Variable types: 0 continuous, 5689 integer (5689 binary) Root relaxation: objective 0.000000e+00, 422 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 (802 simplex iterations) in 0.24 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:58:23 2012 Optimize a model with 16510 rows, 3326 columns and 51476 nonzeros Presolve time: 0.06s Presolved: 16510 rows, 3326 columns, 51476 nonzeros Variable types: 0 continuous, 3326 integer (3326 binary) Root relaxation: objective 0.000000e+00, 279 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 (559 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:58:23 2012 Optimize a model with 7843 rows, 2075 columns and 24224 nonzeros Presolve time: 0.02s Presolved: 7843 rows, 2075 columns, 24224 nonzeros Variable types: 0 continuous, 2075 integer (2075 binary) Root relaxation: objective 0.000000e+00, 281 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 (1172 simplex iterations) in 0.07 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:58:24 2012 Optimize a model with 3991 rows, 1519 columns and 12112 nonzeros Presolve time: 0.01s Presolved: 3991 rows, 1519 columns, 12112 nonzeros Variable types: 0 continuous, 1519 integer (1519 binary) Root relaxation: objective 0.000000e+00, 299 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 274 - 0.00000 - - 0s 0 0 0.00000 0 448 - 0.00000 - - 1s 0 0 0.00000 0 440 - 0.00000 - - 2s 0 0 0.00000 0 436 - 0.00000 - - 2s 0 0 0.00000 0 434 - 0.00000 - - 2s 0 0 0.00000 0 441 - 0.00000 - - 2s 0 0 0.00000 0 432 - 0.00000 - - 3s 0 0 0.00000 0 436 - 0.00000 - - 5s 0 0 0.00000 0 431 - 0.00000 - - 6s 0 0 0.00000 0 422 - 0.00000 - - 8s 0 0 0.00000 0 419 - 0.00000 - - 9s 0 0 0.00000 0 418 - 0.00000 - - 10s 0 0 0.00000 0 424 - 0.00000 - - 11s 0 0 0.00000 0 423 - 0.00000 - - 11s 0 2 0.00000 0 422 - 0.00000 - - 12s 40 0 infeasible 4 - infeasible - 417 15s Cutting planes: Clique: 41 Zero half: 22 Explored 41 nodes (57894 simplex iterations) in 15.03 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:58:39 2012 Optimize a model with 5917 rows, 1797 columns and 18168 nonzeros Presolve time: 0.02s Presolved: 5917 rows, 1797 columns, 18168 nonzeros Variable types: 0 continuous, 1797 integer (1797 binary) Root relaxation: objective 0.000000e+00, 291 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 268 - 0.00000 - - 0s 0 0 0.00000 0 187 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 9 Zero half: 122 Explored 0 nodes (15350 simplex iterations) in 2.24 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 09:58:41 2012 Optimize a model with 4954 rows, 1658 columns and 15140 nonzeros Presolve time: 0.01s Presolved: 4954 rows, 1658 columns, 15140 nonzeros Variable types: 0 continuous, 1658 integer (1658 binary) Root relaxation: objective 0.000000e+00, 287 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 260 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 0 0.00000 0 440 - 0.00000 - - 1s 0 0 0.00000 0 269 - 0.00000 - - 2s 0 0 0.00000 0 363 - 0.00000 - - 3s 0 0 0.00000 0 354 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 6s 0 0 0.00000 0 362 - 0.00000 - - 6s 0 2 0.00000 0 362 - 0.00000 - - 7s 120 41 0.00000 25 338 - 0.00000 - 232 10s 497 37 0.00000 21 327 - 0.00000 - 171 15s 814 52 0.00000 16 420 - 0.00000 - 154 20s 817 54 0.00000 20 220 - 0.00000 - 153 26s 819 55 0.00000 22 198 - 0.00000 - 153 30s 822 57 0.00000 10 323 - 0.00000 - 152 35s 912 71 0.00000 22 328 - 0.00000 - 229 40s 1049 49 0.00000 24 326 - 0.00000 - 243 45s 1224 66 0.00000 26 333 - 0.00000 - 250 50s 1369 69 0.00000 31 283 - 0.00000 - 260 55s 1543 83 infeasible 31 - 0.00000 - 263 60s 1716 84 infeasible 32 - 0.00000 - 267 65s 1867 93 0.00000 33 311 - 0.00000 - 272 70s 2011 85 0.00000 26 323 - 0.00000 - 277 75s 2149 89 infeasible 25 - 0.00000 - 282 80s 2309 101 infeasible 29 - 0.00000 - 285 85s 2461 107 infeasible 26 - 0.00000 - 288 90s 2621 101 0.00000 26 297 - 0.00000 - 289 95s 2773 95 infeasible 24 - 0.00000 - 292 100s 2930 106 infeasible 34 - 0.00000 - 292 105s 3081 137 0.00000 34 335 - 0.00000 - 294 110s 3208 132 0.00000 32 327 - 0.00000 - 298 115s 3341 139 0.00000 29 313 - 0.00000 - 301 120s 3498 142 0.00000 31 327 - 0.00000 - 303 125s 3628 138 0.00000 26 348 - 0.00000 - 306 130s 3775 147 infeasible 34 - 0.00000 - 307 135s 3926 146 infeasible 28 - 0.00000 - 307 140s 4075 139 infeasible 25 - 0.00000 - 308 145s 4238 140 infeasible 24 - 0.00000 - 309 150s 4384 136 0.00000 26 329 - 0.00000 - 310 155s 4527 143 0.00000 25 345 - 0.00000 - 310 160s 4681 151 infeasible 22 - 0.00000 - 311 165s 4829 157 infeasible 24 - 0.00000 - 311 170s 4967 153 0.00000 21 333 - 0.00000 - 312 175s 5098 150 0.00000 31 342 - 0.00000 - 314 180s 5228 152 infeasible 27 - 0.00000 - 315 185s 5373 151 0.00000 30 339 - 0.00000 - 316 190s 5519 141 0.00000 21 329 - 0.00000 - 317 195s 5653 139 infeasible 26 - 0.00000 - 318 200s 5800 130 infeasible 29 - 0.00000 - 318 205s 5932 132 0.00000 31 335 - 0.00000 - 319 210s 6072 138 infeasible 31 - 0.00000 - 320 215s 6202 134 infeasible 32 - 0.00000 - 321 220s 6349 141 infeasible 31 - 0.00000 - 322 225s 6489 141 0.00000 28 316 - 0.00000 - 322 230s 6649 147 infeasible 31 - 0.00000 - 322 235s 6808 144 infeasible 27 - 0.00000 - 322 240s 6954 140 infeasible 26 - 0.00000 - 322 245s 7105 151 0.00000 27 360 - 0.00000 - 322 250s 7244 144 infeasible 23 - 0.00000 - 322 255s 7382 156 infeasible 32 - 0.00000 - 323 260s 7514 156 0.00000 27 312 - 0.00000 - 324 265s 7670 160 infeasible 29 - 0.00000 - 323 270s 7803 155 0.00000 29 345 - 0.00000 - 324 275s Cutting planes: Clique: 11 Zero half: 9 Explored 7936 nodes (2607273 simplex iterations) in 278.88 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