current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:59:27 2012 Optimize a model with 72576 rows, 11374 columns and 227664 nonzeros Presolve time: 0.20s Presolved: 72576 rows, 11374 columns, 227664 nonzeros Variable types: 0 continuous, 11374 integer (11374 binary) Root relaxation: objective 0.000000e+00, 350 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 (760 simplex iterations) in 0.40 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:59:28 2012 Optimize a model with 36360 rows, 6190 columns and 113832 nonzeros Presolve time: 0.16s Presolved: 36360 rows, 6190 columns, 113832 nonzeros Variable types: 0 continuous, 6190 integer (6190 binary) Root relaxation: objective 0.000000e+00, 444 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 (818 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 13:59:29 2012 Optimize a model with 18252 rows, 3598 columns and 56916 nonzeros Presolve time: 0.06s Presolved: 18252 rows, 3598 columns, 56916 nonzeros Variable types: 0 continuous, 3598 integer (3598 binary) Root relaxation: objective 0.000000e+00, 413 iterations, 0.02 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 (810 simplex iterations) in 0.11 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 13:59:29 2012 Optimize a model with 9198 rows, 2302 columns and 28458 nonzeros Presolve time: 0.03s Presolved: 9198 rows, 2302 columns, 28458 nonzeros Variable types: 0 continuous, 2302 integer (2302 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (686 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:59:29 2012 Optimize a model with 4168 rows, 1582 columns and 12648 nonzeros Presolve time: 0.01s Presolved: 4168 rows, 1582 columns, 12648 nonzeros Variable types: 0 continuous, 1582 integer (1582 binary) Root relaxation: objective 0.000000e+00, 304 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 286 - 0.00000 - - 0s 0 0 0.00000 0 283 - 0.00000 - - 0s 0 0 0.00000 0 464 - 0.00000 - - 2s 0 0 0.00000 0 475 - 0.00000 - - 2s 0 0 0.00000 0 460 - 0.00000 - - 4s 0 0 0.00000 0 461 - 0.00000 - - 5s 0 0 0.00000 0 455 - 0.00000 - - 7s 0 0 0.00000 0 443 - 0.00000 - - 9s 0 0 0.00000 0 437 - 0.00000 - - 10s 0 0 0.00000 0 450 - 0.00000 - - 11s 0 0 0.00000 0 446 - 0.00000 - - 12s 0 0 0.00000 0 448 - 0.00000 - - 13s 0 0 0.00000 0 448 - 0.00000 - - 13s 0 2 0.00000 0 448 - 0.00000 - - 15s Cutting planes: Clique: 13 Zero half: 26 Explored 19 nodes (58526 simplex iterations) in 16.36 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 13:59:46 2012 Optimize a model with 6180 rows, 1870 columns and 18972 nonzeros Presolve time: 0.02s Presolved: 6180 rows, 1870 columns, 18972 nonzeros Variable types: 0 continuous, 1870 integer (1870 binary) Root relaxation: objective 0.000000e+00, 313 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 177 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 7 Clique: 56 MIR: 3 Zero half: 79 Explored 0 nodes (4957 simplex iterations) in 0.45 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 13:59:47 2012 Optimize a model with 5174 rows, 1726 columns and 15810 nonzeros Presolve time: 0.01s Presolved: 5174 rows, 1726 columns, 15810 nonzeros Variable types: 0 continuous, 1726 integer (1726 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 280 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 321 - 0.00000 - - 3s 0 0 0.00000 0 317 - 0.00000 - - 4s 0 0 0.00000 0 303 - 0.00000 - - 5s 0 0 0.00000 0 340 - 0.00000 - - 6s 0 0 0.00000 0 339 - 0.00000 - - 7s 0 0 0.00000 0 357 - 0.00000 - - 8s 0 0 0.00000 0 417 - 0.00000 - - 10s 0 0 0.00000 0 360 - 0.00000 - - 10s 0 2 0.00000 0 360 - 0.00000 - - 11s 196 51 0.00000 27 244 - 0.00000 - 173 15s 572 59 0.00000 18 287 - 0.00000 - 154 20s 606 73 0.00000 19 336 - 0.00000 - 151 26s 608 74 0.00000 12 349 - 0.00000 - 150 30s 612 77 0.00000 7 355 - 0.00000 - 149 35s 727 91 infeasible 35 - 0.00000 - 229 40s 861 57 infeasible 36 - 0.00000 - 249 45s 997 59 infeasible 34 - 0.00000 - 264 50s 1114 56 infeasible 37 - 0.00000 - 278 55s 1240 60 0.00000 33 268 - 0.00000 - 288 60s 1390 94 infeasible 37 - 0.00000 - 292 65s 1547 117 infeasible 35 - 0.00000 - 294 70s 1706 164 0.00000 27 353 - 0.00000 - 294 75s 1857 175 0.00000 35 258 - 0.00000 - 298 80s 2020 216 infeasible 38 - 0.00000 - 298 85s 2213 239 infeasible 37 - 0.00000 - 297 90s 2369 239 0.00000 37 331 - 0.00000 - 299 95s 2545 245 infeasible 43 - 0.00000 - 300 100s 2688 228 infeasible 39 - 0.00000 - 304 105s 2829 237 infeasible 43 - 0.00000 - 306 110s 2976 232 0.00000 37 283 - 0.00000 - 308 115s 3124 222 0.00000 32 326 - 0.00000 - 310 120s 3278 226 0.00000 37 318 - 0.00000 - 311 125s 3421 225 infeasible 34 - 0.00000 - 312 130s 3550 210 infeasible 35 - 0.00000 - 315 135s 3697 217 0.00000 28 308 - 0.00000 - 316 140s 3845 229 0.00000 32 320 - 0.00000 - 317 145s 4006 244 infeasible 35 - 0.00000 - 316 150s 4128 242 infeasible 29 - 0.00000 - 319 155s 4280 244 infeasible 42 - 0.00000 - 319 160s 4434 256 0.00000 33 330 - 0.00000 - 319 165s 4604 258 infeasible 33 - 0.00000 - 318 170s 4750 256 infeasible 36 - 0.00000 - 319 175s 4910 268 infeasible 35 - 0.00000 - 319 180s 5039 257 infeasible 31 - 0.00000 - 321 185s 5175 259 infeasible 33 - 0.00000 - 321 190s 5328 260 infeasible 38 - 0.00000 - 322 195s 5474 262 0.00000 37 246 - 0.00000 - 322 200s 5614 268 infeasible 38 - 0.00000 - 323 205s 5738 262 infeasible 33 - 0.00000 - 324 210s 5875 263 0.00000 30 337 - 0.00000 - 325 215s 6014 282 0.00000 33 309 - 0.00000 - 325 220s 6159 311 0.00000 35 302 - 0.00000 - 325 225s 6314 344 0.00000 36 353 - 0.00000 - 325 230s 6449 361 infeasible 37 - 0.00000 - 326 235s 6578 384 0.00000 34 353 - 0.00000 - 327 240s 6699 385 infeasible 36 - 0.00000 - 328 245s 6853 395 infeasible 38 - 0.00000 - 328 250s 6979 391 0.00000 33 350 - 0.00000 - 329 255s 7104 400 0.00000 35 336 - 0.00000 - 330 260s 7260 402 infeasible 42 - 0.00000 - 330 265s 7401 405 infeasible 35 - 0.00000 - 330 270s 7536 416 infeasible 34 - 0.00000 - 331 275s Cutting planes: Clique: 9 Zero half: 10 Explored 7637 nodes (2583442 simplex iterations) in 279.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