current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:19:55 2012 Optimize a model with 52737 rows, 9078 columns and 166080 nonzeros Presolve time: 0.18s Presolved: 52737 rows, 9078 columns, 166080 nonzeros Variable types: 0 continuous, 9078 integer (9078 binary) Root relaxation: objective 0.000000e+00, 333 iterations, 0.06 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 (620 simplex iterations) in 0.31 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:19:56 2012 Optimize a model with 26433 rows, 4950 columns and 83040 nonzeros Presolve time: 0.12s Presolved: 26433 rows, 4950 columns, 83040 nonzeros Variable types: 0 continuous, 4950 integer (4950 binary) Root relaxation: objective 0.000000e+00, 325 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 (604 simplex iterations) in 0.18 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:19:56 2012 Optimize a model with 13281 rows, 2886 columns and 41520 nonzeros Presolve time: 0.04s Presolved: 13281 rows, 2886 columns, 41520 nonzeros Variable types: 0 continuous, 2886 integer (2886 binary) Root relaxation: objective 0.000000e+00, 264 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 (505 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:19:56 2012 Optimize a model with 6705 rows, 1854 columns and 20760 nonzeros Presolve time: 0.02s Presolved: 6705 rows, 1854 columns, 20760 nonzeros Variable types: 0 continuous, 1854 integer (1854 binary) Root relaxation: objective 0.000000e+00, 267 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 (975 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:19:56 2012 Optimize a model with 3417 rows, 1338 columns and 10380 nonzeros Presolve time: 0.01s Presolved: 3417 rows, 1338 columns, 10380 nonzeros Variable types: 0 continuous, 1338 integer (1338 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 252 - 0.00000 - - 0s 0 0 0.00000 0 233 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 369 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 2 0.00000 0 372 - 0.00000 - - 7s Cutting planes: Clique: 19 Zero half: 27 Explored 23 nodes (41246 simplex iterations) in 8.66 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 01:20:05 2012 Optimize a model with 5061 rows, 1596 columns and 15570 nonzeros Presolve time: 0.01s Presolved: 5061 rows, 1596 columns, 15570 nonzeros Variable types: 0 continuous, 1596 integer (1596 binary) Root relaxation: objective 0.000000e+00, 274 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 25 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3348 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:20:06 2012 Optimize a model with 4239 rows, 1467 columns and 12975 nonzeros Presolve time: 0.01s Presolved: 4239 rows, 1467 columns, 12975 nonzeros Variable types: 0 continuous, 1467 integer (1467 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 248 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 335 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 287 - 0.00000 - - 2s 0 0 0.00000 0 309 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 331 - 0.00000 - - 4s 0 0 0.00000 0 329 - 0.00000 - - 4s 0 2 0.00000 0 329 - 0.00000 - - 5s 903 46 0.00000 19 331 - 0.00000 - 81.8 10s 910 51 0.00000 14 318 - 0.00000 - 81.2 15s 949 67 infeasible 32 - 0.00000 - 116 20s 1242 87 0.00000 39 270 - 0.00000 - 142 25s 1524 145 infeasible 35 - 0.00000 - 159 30s 1797 178 infeasible 28 - 0.00000 - 172 35s 2060 169 infeasible 39 - 0.00000 - 183 40s 2355 176 0.00000 33 266 - 0.00000 - 188 45s 2621 184 0.00000 29 212 - 0.00000 - 195 50s 2885 178 infeasible 39 - 0.00000 - 200 55s 3139 179 infeasible 29 - 0.00000 - 204 60s 3363 217 0.00000 29 291 - 0.00000 - 209 65s 3609 231 0.00000 27 313 - 0.00000 - 213 70s 3885 251 0.00000 33 253 - 0.00000 - 215 75s 4106 234 infeasible 31 - 0.00000 - 219 80s 4356 244 infeasible 36 - 0.00000 - 221 85s 4594 242 0.00000 35 226 - 0.00000 - 224 90s 4808 252 0.00000 32 222 - 0.00000 - 227 95s 5038 266 infeasible 36 - 0.00000 - 229 100s 5330 272 0.00000 42 214 - 0.00000 - 229 105s 5546 260 infeasible 29 - 0.00000 - 232 110s 5796 258 0.00000 37 254 - 0.00000 - 233 115s 6049 277 0.00000 35 267 - 0.00000 - 234 120s 6303 297 infeasible 29 - 0.00000 - 234 125s 6543 329 infeasible 33 - 0.00000 - 235 130s 6791 329 infeasible 30 - 0.00000 - 236 135s 7082 324 0.00000 36 286 - 0.00000 - 236 140s 7323 301 infeasible 32 - 0.00000 - 237 145s 7574 298 0.00000 31 224 - 0.00000 - 238 150s 7795 289 infeasible 35 - 0.00000 - 239 155s 8035 287 infeasible 34 - 0.00000 - 240 160s 8262 274 infeasible 30 - 0.00000 - 241 165s 8496 278 infeasible 28 - 0.00000 - 242 170s 8759 281 infeasible 39 - 0.00000 - 243 175s 8988 282 0.00000 44 256 - 0.00000 - 243 180s 9251 279 0.00000 31 289 - 0.00000 - 243 185s 9479 285 infeasible 31 - 0.00000 - 244 190s 9740 292 infeasible 39 - 0.00000 - 244 195s 10017 287 infeasible 39 - 0.00000 - 244 200s 10302 294 0.00000 42 254 - 0.00000 - 244 205s 10577 287 0.00000 33 253 - 0.00000 - 244 210s 10855 321 0.00000 27 281 - 0.00000 - 244 215s 11107 323 0.00000 34 259 - 0.00000 - 244 220s 11331 333 0.00000 31 256 - 0.00000 - 246 225s 11574 350 0.00000 30 234 - 0.00000 - 246 230s 11852 354 0.00000 30 287 - 0.00000 - 246 235s 12099 359 infeasible 35 - 0.00000 - 246 240s 12356 362 infeasible 30 - 0.00000 - 247 245s 12616 354 0.00000 31 277 - 0.00000 - 247 250s 12875 357 infeasible 37 - 0.00000 - 247 255s 13126 356 infeasible 44 - 0.00000 - 247 260s 13380 346 0.00000 34 264 - 0.00000 - 247 265s 13619 333 infeasible 33 - 0.00000 - 248 270s 13869 349 infeasible 39 - 0.00000 - 248 275s 14145 339 infeasible 36 - 0.00000 - 248 280s 14422 348 0.00000 36 247 - 0.00000 - 248 285s Cutting planes: Gomory: 1 Clique: 6 Zero half: 8 Explored 14574 nodes (3648483 simplex iterations) in 287.99 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