current bounds on the number of colors: 0 -- 141 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:36:18 2012 Optimize a model with 69161 rows, 10856 columns and 216930 nonzeros Presolve time: 0.19s Presolved: 69161 rows, 10856 columns, 216930 nonzeros Variable types: 0 continuous, 10856 integer (10856 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 (691 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:36:20 2012 Optimize a model with 34651 rows, 5921 columns and 108465 nonzeros Presolve time: 0.16s Presolved: 34651 rows, 5921 columns, 108465 nonzeros Variable types: 0 continuous, 5921 integer (5921 binary) Root relaxation: objective 0.000000e+00, 419 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 (1016 simplex iterations) in 0.28 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 11:36:20 2012 Optimize a model with 16903 rows, 3383 columns and 52683 nonzeros Presolve time: 0.06s Presolved: 16903 rows, 3383 columns, 52683 nonzeros Variable types: 0 continuous, 3383 integer (3383 binary) Root relaxation: objective 0.000000e+00, 285 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 (583 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 11:36:21 2012 Optimize a model with 8029 rows, 2114 columns and 24792 nonzeros Presolve time: 0.02s Presolved: 8029 rows, 2114 columns, 24792 nonzeros Variable types: 0 continuous, 2114 integer (2114 binary) Root relaxation: objective 0.000000e+00, 300 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 (1104 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 11:36:21 2012 Optimize a model with 4085 rows, 1550 columns and 12396 nonzeros Presolve time: 0.01s Presolved: 4085 rows, 1550 columns, 12396 nonzeros Variable types: 0 continuous, 1550 integer (1550 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 188 - 0.00000 - - 0s 0 0 0.00000 0 186 - 0.00000 - - 0s 0 0 0.00000 0 446 - 0.00000 - - 1s 0 0 0.00000 0 454 - 0.00000 - - 2s 0 0 0.00000 0 456 - 0.00000 - - 3s 0 0 0.00000 0 444 - 0.00000 - - 3s 0 0 0.00000 0 447 - 0.00000 - - 4s 0 0 0.00000 0 434 - 0.00000 - - 6s 0 0 0.00000 0 433 - 0.00000 - - 7s 0 0 0.00000 0 431 - 0.00000 - - 8s 0 0 0.00000 0 439 - 0.00000 - - 8s 0 0 0.00000 0 436 - 0.00000 - - 9s 0 0 0.00000 0 440 - 0.00000 - - 10s 0 0 0.00000 0 440 - 0.00000 - - 10s 0 2 0.00000 0 440 - 0.00000 - - 11s Cutting planes: Clique: 26 Zero half: 8 Explored 13 nodes (58304 simplex iterations) in 12.43 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 11:36:33 2012 Optimize a model with 6057 rows, 1832 columns and 18594 nonzeros Presolve time: 0.02s Presolved: 6057 rows, 1832 columns, 18594 nonzeros Variable types: 0 continuous, 1832 integer (1832 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 140 - 0.00000 - - 0s 0 0 0.00000 0 113 - 0.00000 - - 0s Cutting planes: Clique: 1 Zero half: 2 Explored 0 nodes (5680 simplex iterations) in 0.48 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 11:36:34 2012 Optimize a model with 5071 rows, 1691 columns and 15495 nonzeros Presolve time: 0.01s Presolved: 5071 rows, 1691 columns, 15495 nonzeros Variable types: 0 continuous, 1691 integer (1691 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 278 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 0 0.00000 0 389 - 0.00000 - - 2s 0 0 0.00000 0 327 - 0.00000 - - 3s 0 0 0.00000 0 327 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 357 - 0.00000 - - 6s 0 0 0.00000 0 339 - 0.00000 - - 7s 0 2 0.00000 0 339 - 0.00000 - - 7s 132 34 0.00000 26 305 - 0.00000 - 162 10s 586 79 0.00000 33 254 - 0.00000 - 136 15s 605 80 0.00000 9 327 - 0.00000 - 133 20s 608 82 0.00000 15 319 - 0.00000 - 133 25s 610 83 0.00000 28 335 - 0.00000 - 132 30s 683 94 infeasible 24 - 0.00000 - 216 35s 842 88 0.00000 27 316 - 0.00000 - 233 40s 1001 132 0.00000 30 248 - 0.00000 - 241 45s 1155 166 0.00000 21 347 - 0.00000 - 252 50s 1322 199 infeasible 29 - 0.00000 - 257 55s 1489 212 infeasible 22 - 0.00000 - 262 60s 1654 225 infeasible 27 - 0.00000 - 267 65s 1799 244 infeasible 24 - 0.00000 - 273 70s 1940 261 0.00000 24 311 - 0.00000 - 278 75s 2079 258 infeasible 22 - 0.00000 - 284 80s 2293 270 0.00000 20 328 - 0.00000 - 281 85s 2444 283 infeasible 24 - 0.00000 - 284 90s 2594 287 0.00000 26 342 - 0.00000 - 287 95s 2745 300 infeasible 25 - 0.00000 - 289 100s 2897 314 infeasible 34 - 0.00000 - 291 105s 3062 307 infeasible 37 - 0.00000 - 292 110s 3222 287 infeasible 28 - 0.00000 - 294 115s 3398 299 infeasible 25 - 0.00000 - 294 120s 3594 293 infeasible 35 - 0.00000 - 293 125s 3740 285 infeasible 24 - 0.00000 - 295 130s 3895 288 infeasible 28 - 0.00000 - 296 135s 4045 282 0.00000 21 315 - 0.00000 - 297 140s 4181 282 0.00000 23 327 - 0.00000 - 300 145s 4347 302 infeasible 30 - 0.00000 - 300 150s 4508 311 0.00000 25 318 - 0.00000 - 300 155s 4664 315 infeasible 28 - 0.00000 - 300 160s 4822 317 infeasible 25 - 0.00000 - 301 165s 4959 310 0.00000 23 328 - 0.00000 - 302 170s 5102 295 0.00000 24 329 - 0.00000 - 303 175s 5250 299 infeasible 26 - 0.00000 - 304 180s 5385 292 infeasible 26 - 0.00000 - 306 185s 5536 291 0.00000 25 337 - 0.00000 - 306 190s 5682 291 0.00000 29 250 - 0.00000 - 307 195s 5834 293 infeasible 24 - 0.00000 - 308 200s 5979 292 infeasible 29 - 0.00000 - 308 205s 6126 289 infeasible 34 - 0.00000 - 309 210s 6264 293 0.00000 23 323 - 0.00000 - 310 215s 6418 287 infeasible 24 - 0.00000 - 311 220s 6554 281 infeasible 33 - 0.00000 - 312 225s 6683 270 infeasible 25 - 0.00000 - 313 230s 6829 276 infeasible 27 - 0.00000 - 313 235s 6979 272 0.00000 25 323 - 0.00000 - 314 240s 7134 279 infeasible 27 - 0.00000 - 314 245s 7282 281 infeasible 25 - 0.00000 - 314 250s 7425 284 infeasible 25 - 0.00000 - 315 255s 7575 286 infeasible 28 - 0.00000 - 315 260s 7710 275 0.00000 18 335 - 0.00000 - 316 265s 7881 278 infeasible 21 - 0.00000 - 316 270s 8048 273 infeasible 25 - 0.00000 - 315 275s 8185 268 infeasible 26 - 0.00000 - 316 280s Cutting planes: Gomory: 1 Clique: 10 Zero half: 15 Explored 8271 nodes (2656314 simplex iterations) in 283.11 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