current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:50:04 2012 Optimize a model with 71214 rows, 11154 columns and 223366 nonzeros Presolve time: 0.19s Presolved: 71214 rows, 11154 columns, 223366 nonzeros Variable types: 0 continuous, 11154 integer (11154 binary) Root relaxation: objective 0.000000e+00, 366 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 (972 simplex iterations) in 0.44 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:50:05 2012 Optimize a model with 35178 rows, 6006 columns and 110110 nonzeros Presolve time: 0.16s Presolved: 35178 rows, 6006 columns, 110110 nonzeros Variable types: 0 continuous, 6006 integer (6006 binary) Root relaxation: objective 0.000000e+00, 333 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 (756 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:50:06 2012 Optimize a model with 17160 rows, 3432 columns and 53482 nonzeros Presolve time: 0.06s Presolved: 17160 rows, 3432 columns, 53482 nonzeros Variable types: 0 continuous, 3432 integer (3432 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (596 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 12:50:06 2012 Optimize a model with 8151 rows, 2145 columns and 25168 nonzeros Presolve time: 0.02s Presolved: 8151 rows, 2145 columns, 25168 nonzeros Variable types: 0 continuous, 2145 integer (2145 binary) Root relaxation: objective 0.000000e+00, 305 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 6 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1748 simplex iterations) in 0.10 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 12:50:06 2012 Optimize a model with 4147 rows, 1573 columns and 12584 nonzeros Presolve time: 0.01s Presolved: 4147 rows, 1573 columns, 12584 nonzeros Variable types: 0 continuous, 1573 integer (1573 binary) Root relaxation: objective 0.000000e+00, 320 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 196 - 0.00000 - - 0s 0 0 0.00000 0 357 - 0.00000 - - 0s 0 0 0.00000 0 456 - 0.00000 - - 1s 0 0 0.00000 0 469 - 0.00000 - - 2s 0 0 0.00000 0 437 - 0.00000 - - 4s 0 0 0.00000 0 429 - 0.00000 - - 6s 0 0 0.00000 0 433 - 0.00000 - - 7s 0 0 0.00000 0 429 - 0.00000 - - 9s 0 0 0.00000 0 421 - 0.00000 - - 10s 0 0 0.00000 0 422 - 0.00000 - - 11s 0 0 0.00000 0 414 - 0.00000 - - 12s 0 0 0.00000 0 415 - 0.00000 - - 13s 0 0 0.00000 0 412 - 0.00000 - - 13s 0 2 0.00000 0 412 - 0.00000 - - 14s 10 4 0.00000 4 429 - 0.00000 - 663 15s Cutting planes: Clique: 30 Zero half: 22 Explored 21 nodes (60700 simplex iterations) in 15.51 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 12:50:22 2012 Optimize a model with 6149 rows, 1859 columns and 18876 nonzeros Presolve time: 0.02s Presolved: 6149 rows, 1859 columns, 18876 nonzeros Variable types: 0 continuous, 1859 integer (1859 binary) Root relaxation: objective 0.000000e+00, 311 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 198 - 0.00000 - - 0s 0 0 0.00000 0 299 - 0.00000 - - 0s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 301 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 2s 0 0 0.00000 0 217 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 3s 0 0 0.00000 0 341 - 0.00000 - - 4s H 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Clique: 2 Zero half: 6 Explored 0 nodes (28644 simplex iterations) in 4.30 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 12:50:26 2012 Optimize a model with 5148 rows, 1716 columns and 15730 nonzeros Presolve time: 0.01s Presolved: 5148 rows, 1716 columns, 15730 nonzeros Variable types: 0 continuous, 1716 integer (1716 binary) Root relaxation: objective 0.000000e+00, 295 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 280 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 1s 0 0 0.00000 0 369 - 0.00000 - - 2s 0 0 0.00000 0 392 - 0.00000 - - 3s 0 0 0.00000 0 399 - 0.00000 - - 4s 0 0 0.00000 0 396 - 0.00000 - - 4s 0 2 0.00000 0 395 - 0.00000 - - 6s 223 71 infeasible 22 - 0.00000 - 205 10s 590 126 0.00000 21 246 - 0.00000 - 173 15s 924 126 0.00000 17 327 - 0.00000 - 171 20s 1104 128 0.00000 18 390 - 0.00000 - 169 25s 1106 129 0.00000 17 362 - 0.00000 - 169 30s 1108 131 0.00000 14 294 - 0.00000 - 169 35s 1111 133 0.00000 13 326 - 0.00000 - 168 42s 1113 134 0.00000 19 367 - 0.00000 - 168 45s 1191 164 0.00000 28 344 - 0.00000 - 219 50s 1350 128 infeasible 31 - 0.00000 - 231 55s 1503 76 infeasible 29 - 0.00000 - 241 60s 1665 70 infeasible 33 - 0.00000 - 247 65s 1821 96 0.00000 28 250 - 0.00000 - 251 70s 1955 84 infeasible 29 - 0.00000 - 259 75s 2109 120 0.00000 36 324 - 0.00000 - 262 80s 2268 131 infeasible 36 - 0.00000 - 265 85s 2427 174 0.00000 29 317 - 0.00000 - 268 90s 2588 183 infeasible 36 - 0.00000 - 270 95s 2746 191 0.00000 26 330 - 0.00000 - 273 100s 2903 189 infeasible 34 - 0.00000 - 275 105s 3063 205 0.00000 35 305 - 0.00000 - 276 110s 3217 189 infeasible 32 - 0.00000 - 278 115s 3378 194 infeasible 30 - 0.00000 - 280 120s 3512 190 infeasible 32 - 0.00000 - 283 125s 3666 220 infeasible 35 - 0.00000 - 285 130s 3864 258 infeasible 36 - 0.00000 - 284 135s 4042 260 0.00000 35 326 - 0.00000 - 284 140s 4232 238 infeasible 39 - 0.00000 - 284 145s 4390 226 infeasible 35 - 0.00000 - 285 150s 4529 215 0.00000 27 332 - 0.00000 - 287 155s 4668 210 infeasible 34 - 0.00000 - 289 160s 4809 201 infeasible 30 - 0.00000 - 291 165s 4951 191 0.00000 30 320 - 0.00000 - 293 170s 5111 197 infeasible 38 - 0.00000 - 293 175s 5275 179 infeasible 34 - 0.00000 - 293 180s 5437 193 infeasible 37 - 0.00000 - 294 185s 5606 194 0.00000 32 330 - 0.00000 - 294 190s 5760 205 infeasible 35 - 0.00000 - 294 195s 5919 198 0.00000 23 311 - 0.00000 - 295 200s 6063 206 infeasible 33 - 0.00000 - 295 205s 6203 188 infeasible 28 - 0.00000 - 297 210s 6347 176 infeasible 27 - 0.00000 - 298 215s 6505 168 infeasible 27 - 0.00000 - 298 220s 6630 177 0.00000 27 343 - 0.00000 - 299 225s 6782 167 0.00000 30 333 - 0.00000 - 300 230s 6966 189 infeasible 40 - 0.00000 - 299 235s 7103 174 infeasible 35 - 0.00000 - 300 240s 7239 170 0.00000 29 345 - 0.00000 - 301 245s 7396 189 infeasible 30 - 0.00000 - 301 250s 7546 191 0.00000 31 260 - 0.00000 - 302 255s 7687 176 infeasible 27 - 0.00000 - 302 260s 7834 163 0.00000 32 295 - 0.00000 - 303 265s 7978 167 infeasible 29 - 0.00000 - 303 270s 8115 170 0.00000 26 333 - 0.00000 - 304 275s Cutting planes: Clique: 7 Zero half: 9 Explored 8141 nodes (2505231 simplex iterations) in 276.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: 6