current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:34:57 2012 Optimize a model with 67482 rows, 10498 columns and 211554 nonzeros Presolve time: 0.20s Presolved: 67482 rows, 10498 columns, 211554 nonzeros Variable types: 0 continuous, 10498 integer (10498 binary) Root relaxation: objective 0.000000e+00, 326 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 (931 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:34:58 2012 Optimize a model with 33322 rows, 5668 columns and 104244 nonzeros Presolve time: 0.15s Presolved: 33322 rows, 5668 columns, 104244 nonzeros Variable types: 0 continuous, 5668 integer (5668 binary) Root relaxation: objective 0.000000e+00, 416 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.27 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:34:59 2012 Optimize a model with 16730 rows, 3322 columns and 52122 nonzeros Presolve time: 0.06s Presolved: 16730 rows, 3322 columns, 52122 nonzeros Variable types: 0 continuous, 3322 integer (3322 binary) Root relaxation: objective 0.000000e+00, 392 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 (744 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:34:59 2012 Optimize a model with 7946 rows, 2080 columns and 24528 nonzeros Presolve time: 0.02s Presolved: 7946 rows, 2080 columns, 24528 nonzeros Variable types: 0 continuous, 2080 integer (2080 binary) Root relaxation: objective 0.000000e+00, 297 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 (1654 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 08:34:59 2012 Optimize a model with 4042 rows, 1528 columns and 12264 nonzeros Presolve time: 0.01s Presolved: 4042 rows, 1528 columns, 12264 nonzeros Variable types: 0 continuous, 1528 integer (1528 binary) Root relaxation: objective 0.000000e+00, 294 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 276 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 450 - 0.00000 - - 1s 0 0 0.00000 0 450 - 0.00000 - - 2s 0 0 0.00000 0 431 - 0.00000 - - 3s 0 0 0.00000 0 440 - 0.00000 - - 4s 0 0 0.00000 0 429 - 0.00000 - - 5s 0 0 0.00000 0 438 - 0.00000 - - 6s 0 0 0.00000 0 430 - 0.00000 - - 7s 0 0 0.00000 0 431 - 0.00000 - - 8s 0 0 0.00000 0 431 - 0.00000 - - 8s 0 2 0.00000 0 431 - 0.00000 - - 9s 4 4 0.00000 3 417 - 0.00000 - 1084 10s Cutting planes: Clique: 28 Zero half: 17 Explored 29 nodes (53014 simplex iterations) in 11.34 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 08:35:11 2012 Optimize a model with 5994 rows, 1804 columns and 18396 nonzeros Presolve time: 0.02s Presolved: 5994 rows, 1804 columns, 18396 nonzeros Variable types: 0 continuous, 1804 integer (1804 binary) Root relaxation: objective 0.000000e+00, 294 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 203 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 197 - 0.00000 - - 2s 0 0 0.00000 0 267 - 0.00000 - - 2s 0 0 0.00000 0 279 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 4s 0 0 0.00000 0 184 - 0.00000 - - 5s 0 0 0.00000 0 185 - 0.00000 - - 5s H 0 0 0.0000000 0.00000 0.0% - 5s Cutting planes: Clique: 2 Zero half: 4 Explored 0 nodes (39296 simplex iterations) in 5.68 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 08:35:17 2012 Optimize a model with 5018 rows, 1666 columns and 15330 nonzeros Presolve time: 0.01s Presolved: 5018 rows, 1666 columns, 15330 nonzeros Variable types: 0 continuous, 1666 integer (1666 binary) Root relaxation: objective 0.000000e+00, 297 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 276 - 0.00000 - - 0s 0 0 0.00000 0 209 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 331 - 0.00000 - - 3s 0 0 0.00000 0 345 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 5s 0 0 0.00000 0 373 - 0.00000 - - 6s 0 0 0.00000 0 373 - 0.00000 - - 7s 0 2 0.00000 0 373 - 0.00000 - - 8s 94 15 0.00000 14 280 - 0.00000 - 183 10s 419 27 0.00000 20 304 - 0.00000 - 168 15s 850 28 infeasible 19 - 0.00000 - 154 20s 1303 28 infeasible 18 - 0.00000 - 146 25s 1515 39 0.00000 8 369 - 0.00000 - 142 31s 1517 40 0.00000 15 359 - 0.00000 - 142 36s 1519 41 0.00000 19 290 - 0.00000 - 142 40s 1522 43 0.00000 12 306 - 0.00000 - 141 46s 1536 51 0.00000 15 348 - 0.00000 - 175 50s 1670 47 infeasible 23 - 0.00000 - 190 55s 1838 49 infeasible 27 - 0.00000 - 200 60s 1981 50 0.00000 24 304 - 0.00000 - 211 65s 2122 55 infeasible 26 - 0.00000 - 218 70s 2269 56 0.00000 25 345 - 0.00000 - 226 75s 2419 60 infeasible 33 - 0.00000 - 232 80s 2576 53 infeasible 26 - 0.00000 - 238 85s 2718 59 0.00000 24 332 - 0.00000 - 243 90s 2855 52 infeasible 23 - 0.00000 - 250 95s 3003 62 infeasible 26 - 0.00000 - 254 100s 3126 61 infeasible 26 - 0.00000 - 260 105s 3262 59 infeasible 27 - 0.00000 - 265 110s 3388 57 0.00000 15 360 - 0.00000 - 269 115s 3529 62 infeasible 25 - 0.00000 - 272 120s 3661 70 infeasible 32 - 0.00000 - 276 125s 3802 83 0.00000 27 331 - 0.00000 - 278 130s 3935 80 0.00000 26 328 - 0.00000 - 281 135s 4055 76 0.00000 20 334 - 0.00000 - 284 140s 4190 89 0.00000 21 338 - 0.00000 - 287 145s 4328 111 0.00000 27 325 - 0.00000 - 289 150s 4473 108 infeasible 28 - 0.00000 - 290 155s 4613 108 infeasible 22 - 0.00000 - 292 160s 4756 113 0.00000 29 332 - 0.00000 - 293 165s 4888 119 0.00000 27 318 - 0.00000 - 295 170s 5036 127 infeasible 32 - 0.00000 - 296 175s 5170 119 0.00000 24 333 - 0.00000 - 298 180s 5305 118 infeasible 37 - 0.00000 - 300 185s 5426 123 0.00000 28 325 - 0.00000 - 302 190s 5592 131 0.00000 26 255 - 0.00000 - 302 195s 5742 129 infeasible 26 - 0.00000 - 302 200s 5874 127 infeasible 31 - 0.00000 - 304 205s 5994 117 infeasible 26 - 0.00000 - 306 210s 6144 137 0.00000 28 334 - 0.00000 - 306 215s 6267 136 0.00000 33 332 - 0.00000 - 308 220s 6415 152 infeasible 29 - 0.00000 - 308 225s 6553 146 0.00000 29 324 - 0.00000 - 309 230s 6672 153 infeasible 31 - 0.00000 - 311 235s 6799 150 infeasible 30 - 0.00000 - 312 240s 6920 149 0.00000 30 332 - 0.00000 - 313 245s 7063 152 0.00000 29 338 - 0.00000 - 314 250s 7206 149 0.00000 27 331 - 0.00000 - 315 255s 7326 137 0.00000 26 319 - 0.00000 - 316 260s 7463 132 infeasible 33 - 0.00000 - 317 265s 7597 128 infeasible 27 - 0.00000 - 318 270s 7737 134 0.00000 31 238 - 0.00000 - 318 275s Cutting planes: Clique: 5 Zero half: 1 Explored 7844 nodes (2538385 simplex iterations) in 278.95 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