current bounds on the number of colors: 0 -- 181 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:27:03 2012 Optimize a model with 72991 rows, 17099 columns and 234720 nonzeros Presolve time: 0.23s Presolved: 72991 rows, 17099 columns, 234720 nonzeros Variable types: 0 continuous, 17099 integer (17099 binary) Root relaxation: objective 0.000000e+00, 607 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 (970 simplex iterations) in 0.39 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:27:05 2012 Optimize a model with 36586 rows, 8954 columns and 117360 nonzeros Presolve time: 0.15s Presolved: 36586 rows, 8954 columns, 117360 nonzeros Variable types: 0 continuous, 8954 integer (8954 binary) Root relaxation: objective 0.000000e+00, 664 iterations, 0.05 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 (1061 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:27:05 2012 Optimize a model with 17979 rows, 4791 columns and 57376 nonzeros Presolve time: 0.07s Presolved: 17979 rows, 4791 columns, 57376 nonzeros Variable types: 0 continuous, 4791 integer (4791 binary) Root relaxation: objective 0.000000e+00, 409 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 (755 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:27:06 2012 Optimize a model with 9080 rows, 2800 columns and 28688 nonzeros Presolve time: 0.03s Presolved: 9080 rows, 2800 columns, 28688 nonzeros Variable types: 0 continuous, 2800 integer (2800 binary) Root relaxation: objective 0.000000e+00, 384 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 (739 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:27:06 2012 Optimize a model with 4226 rows, 1714 columns and 13040 nonzeros Presolve time: 0.01s Presolved: 4226 rows, 1714 columns, 13040 nonzeros Variable types: 0 continuous, 1714 integer (1714 binary) Root relaxation: objective 0.000000e+00, 410 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 186 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3177 simplex iterations) in 0.19 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:27:06 2012 Optimize a model with 1799 rows, 1171 columns and 5216 nonzeros Presolve removed 181 rows and 181 columns Presolve time: 0.00s Presolved: 1618 rows, 990 columns, 4854 nonzeros Variable types: 0 continuous, 990 integer (990 binary) Root relaxation: objective 0.000000e+00, 193 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 181 - 0.00000 - - 0s Explored 0 nodes (808 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:27:06 2012 Optimize a model with 2608 rows, 1352 columns and 7824 nonzeros Presolve time: 0.01s Presolved: 2608 rows, 1352 columns, 7824 nonzeros Variable types: 0 continuous, 1352 integer (1352 binary) Root relaxation: objective 0.000000e+00, 411 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 356 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 470 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 19 Zero half: 860 Explored 0 nodes (7341 simplex iterations) in 1.00 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:27:07 2012 Optimize a model with 3417 rows, 1533 columns and 10432 nonzeros Presolve time: 0.01s Presolved: 3417 rows, 1533 columns, 10432 nonzeros Variable types: 0 continuous, 1533 integer (1533 binary) Root relaxation: objective 0.000000e+00, 425 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 340 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 2s 0 0 0.00000 0 283 - 0.00000 - - 3s 0 0 0.00000 0 262 - 0.00000 - - 3s 0 0 0.00000 0 258 - 0.00000 - - 3s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 248 - 0.00000 - - 4s 0 0 0.00000 0 270 - 0.00000 - - 4s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 2 0.00000 0 272 - 0.00000 - - 5s 605 167 0.00000 18 308 - 0.00000 - 99.3 10s 611 171 0.00000 16 273 - 0.00000 - 98.3 16s 615 173 0.00000 11 229 - 0.00000 - 97.6 20s 642 191 0.00000 23 330 - 0.00000 - 201 25s 1092 83 infeasible 23 - 0.00000 - 192 30s 1601 94 infeasible 29 - 0.00000 - 185 35s 2034 93 0.00000 27 314 - 0.00000 - 186 40s 2535 64 0.00000 34 320 - 0.00000 - 184 45s 3021 40 0.00000 31 312 - 0.00000 - 183 50s 3436 59 0.00000 21 356 - 0.00000 - 184 55s 3896 89 0.00000 30 302 - 0.00000 - 184 60s 4350 73 infeasible 26 - 0.00000 - 184 65s 4803 104 0.00000 26 316 - 0.00000 - 183 70s 5256 109 infeasible 32 - 0.00000 - 183 75s 5689 94 infeasible 28 - 0.00000 - 184 80s 6164 125 0.00000 22 294 - 0.00000 - 183 85s 6610 115 infeasible 28 - 0.00000 - 184 90s 7057 122 infeasible 27 - 0.00000 - 184 95s 7484 111 0.00000 28 328 - 0.00000 - 184 100s 7925 188 0.00000 27 328 - 0.00000 - 184 105s 8326 185 0.00000 24 318 - 0.00000 - 185 110s 8740 193 infeasible 30 - 0.00000 - 185 115s 9146 195 0.00000 27 288 - 0.00000 - 186 120s 9601 200 infeasible 30 - 0.00000 - 186 125s 10015 208 infeasible 34 - 0.00000 - 186 130s 10446 203 0.00000 31 316 - 0.00000 - 186 135s 10882 205 0.00000 31 342 - 0.00000 - 186 140s 11276 185 0.00000 33 318 - 0.00000 - 187 145s 11772 233 infeasible 27 - 0.00000 - 186 150s 12182 221 0.00000 35 314 - 0.00000 - 187 155s 12611 214 0.00000 28 324 - 0.00000 - 187 160s 13047 270 infeasible 30 - 0.00000 - 186 165s 13438 277 0.00000 27 320 - 0.00000 - 187 170s 13863 316 0.00000 24 300 - 0.00000 - 187 175s 14242 305 0.00000 32 317 - 0.00000 - 188 180s 14681 292 0.00000 36 310 - 0.00000 - 188 185s 15092 277 infeasible 27 - 0.00000 - 188 190s 15484 283 infeasible 32 - 0.00000 - 188 195s 15934 287 infeasible 32 - 0.00000 - 188 200s 16352 279 infeasible 23 - 0.00000 - 188 205s 16760 295 infeasible 29 - 0.00000 - 189 210s 17178 309 0.00000 29 316 - 0.00000 - 189 215s 17598 325 infeasible 37 - 0.00000 - 189 220s 17984 311 0.00000 30 359 - 0.00000 - 189 225s 18376 289 infeasible 27 - 0.00000 - 190 230s 18834 341 infeasible 30 - 0.00000 - 189 235s 19247 354 infeasible 36 - 0.00000 - 189 240s 19688 335 infeasible 39 - 0.00000 - 189 245s 20115 318 infeasible 24 - 0.00000 - 189 250s 20516 331 0.00000 35 314 - 0.00000 - 189 255s 20900 303 infeasible 27 - 0.00000 - 189 260s 21344 309 infeasible 36 - 0.00000 - 189 265s 21735 300 0.00000 28 296 - 0.00000 - 190 270s 22109 276 infeasible 28 - 0.00000 - 190 275s 22540 263 infeasible 27 - 0.00000 - 190 280s 22869 234 0.00000 31 410 - 0.00000 - 190 285s 23269 236 infeasible 31 - 0.00000 - 190 290s Cutting planes: Zero half: 15 Explored 23651 nodes (4555086 simplex iterations) in 294.57 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: 5