current bounds on the number of colors: 0 -- 205 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:27:18 2012 Optimize a model with 108835 rows, 21975 columns and 346800 nonzeros Presolve time: 0.36s Presolved: 108835 rows, 21975 columns, 346800 nonzeros Variable types: 0 continuous, 21975 integer (21975 binary) Root relaxation: objective 0.000000e+00, 707 iterations, 0.07 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 (1314 simplex iterations) in 0.66 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:27:20 2012 Optimize a model with 54520 rows, 11520 columns and 173400 nonzeros Presolve time: 0.17s Presolved: 54520 rows, 11520 columns, 173400 nonzeros Variable types: 0 continuous, 11520 integer (11520 binary) Root relaxation: objective 0.000000e+00, 636 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 (1069 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:27:21 2012 Optimize a model with 26830 rows, 6190 columns and 85000 nonzeros Presolve time: 0.11s Presolved: 26830 rows, 6190 columns, 85000 nonzeros Variable types: 0 continuous, 6190 integer (6190 binary) Root relaxation: objective 0.000000e+00, 441 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 (838 simplex iterations) in 0.17 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:27:22 2012 Optimize a model with 12985 rows, 3525 columns and 40800 nonzeros Presolve time: 0.04s Presolved: 12985 rows, 3525 columns, 40800 nonzeros Variable types: 0 continuous, 3525 integer (3525 binary) Root relaxation: objective 0.000000e+00, 418 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 (825 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:27:22 2012 Optimize a model with 6595 rows, 2295 columns and 20400 nonzeros Presolve time: 0.02s Presolved: 6595 rows, 2295 columns, 20400 nonzeros Variable types: 0 continuous, 2295 integer (2295 binary) Root relaxation: objective 0.000000e+00, 434 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 (1678 simplex iterations) in 0.08 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:27:22 2012 Optimize a model with 3400 rows, 1680 columns and 10200 nonzeros Presolve time: 0.01s Presolved: 3400 rows, 1680 columns, 10200 nonzeros Variable types: 0 continuous, 1680 integer (1680 binary) Root relaxation: objective 0.000000e+00, 479 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 328 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 0.00000 0 579 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 7 Zero half: 1446 Explored 0 nodes (11569 simplex iterations) in 1.79 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:27:24 2012 Optimize a model with 4465 rows, 1885 columns and 13600 nonzeros Presolve time: 0.01s Presolved: 4465 rows, 1885 columns, 13600 nonzeros Variable types: 0 continuous, 1885 integer (1885 binary) Root relaxation: objective 0.000000e+00, 432 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 390 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 2s 0 0 0.00000 0 398 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 387 - 0.00000 - - 5s 0 0 0.00000 0 362 - 0.00000 - - 5s 0 2 0.00000 0 360 - 0.00000 - - 6s 360 76 0.00000 22 367 - 0.00000 - 132 10s 704 81 0.00000 16 530 - 0.00000 - 130 15s 707 83 0.00000 14 370 - 0.00000 - 130 21s 709 84 0.00000 20 358 - 0.00000 - 129 25s 712 86 0.00000 7 340 - 0.00000 - 129 32s 714 88 0.00000 15 334 - 0.00000 - 129 36s 716 89 0.00000 20 328 - 0.00000 - 128 41s 725 95 0.00000 14 346 - 0.00000 - 239 45s 822 96 0.00000 26 420 - 0.00000 - 245 50s 966 70 infeasible 24 - 0.00000 - 258 55s 1135 99 0.00000 29 465 - 0.00000 - 262 60s 1322 148 infeasible 23 - 0.00000 - 262 65s 1532 170 0.00000 25 372 - 0.00000 - 262 70s 1733 213 infeasible 27 - 0.00000 - 262 75s 1923 223 0.00000 28 403 - 0.00000 - 264 80s 2117 235 0.00000 27 366 - 0.00000 - 265 85s 2317 205 infeasible 25 - 0.00000 - 268 90s 2514 200 0.00000 22 407 - 0.00000 - 268 95s 2676 200 infeasible 21 - 0.00000 - 271 100s 2862 244 0.00000 27 448 - 0.00000 - 272 105s 3048 270 infeasible 24 - 0.00000 - 272 110s 3237 257 infeasible 21 - 0.00000 - 274 115s 3411 267 0.00000 23 405 - 0.00000 - 276 120s 3557 261 infeasible 25 - 0.00000 - 279 125s 3738 256 infeasible 24 - 0.00000 - 280 130s 3937 233 infeasible 27 - 0.00000 - 280 135s 4152 248 0.00000 24 382 - 0.00000 - 280 140s 4333 227 infeasible 25 - 0.00000 - 281 145s 4522 208 infeasible 28 - 0.00000 - 282 150s 4673 201 infeasible 26 - 0.00000 - 284 155s 4845 203 0.00000 22 358 - 0.00000 - 285 160s 4995 207 0.00000 27 372 - 0.00000 - 286 165s 5195 209 infeasible 24 - 0.00000 - 286 170s 5373 205 0.00000 23 362 - 0.00000 - 286 175s 5531 199 infeasible 27 - 0.00000 - 288 180s 5703 185 infeasible 25 - 0.00000 - 288 185s 5897 169 0.00000 24 418 - 0.00000 - 288 190s 6068 162 infeasible 28 - 0.00000 - 288 195s 6256 146 infeasible 29 - 0.00000 - 288 200s 6407 139 infeasible 25 - 0.00000 - 289 205s 6564 132 0.00000 24 458 - 0.00000 - 290 210s 6717 137 infeasible 26 - 0.00000 - 291 215s 6877 139 0.00000 23 379 - 0.00000 - 291 220s 7029 131 0.00000 29 431 - 0.00000 - 292 225s 7204 136 infeasible 31 - 0.00000 - 292 230s 7373 137 infeasible 28 - 0.00000 - 293 235s 7552 136 infeasible 23 - 0.00000 - 293 240s 7733 123 0.00000 19 434 - 0.00000 - 293 245s 7886 126 0.00000 28 372 - 0.00000 - 293 250s 8050 116 0.00000 22 360 - 0.00000 - 294 255s 8247 173 infeasible 29 - 0.00000 - 294 260s 8416 180 0.00000 29 424 - 0.00000 - 294 265s 8599 187 0.00000 29 411 - 0.00000 - 294 270s 8756 192 infeasible 26 - 0.00000 - 295 275s 8941 179 infeasible 25 - 0.00000 - 295 280s 9117 179 0.00000 29 479 - 0.00000 - 295 285s 9275 173 0.00000 24 366 - 0.00000 - 296 290s Cutting planes: Gomory: 1 Clique: 1 Zero half: 12 Explored 9346 nodes (2805121 simplex iterations) in 291.98 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:32:16 2012 Optimize a model with 5530 rows, 2090 columns and 17000 nonzeros Presolve time: 0.02s Explored 0 nodes (0 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound -, gap - optimal solution found: number of colors: 6