current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:21:18 2012 Optimize a model with 66710 rows, 10751 columns and 209510 nonzeros Presolve time: 0.20s Presolved: 66710 rows, 10751 columns, 209510 nonzeros Variable types: 0 continuous, 10751 integer (10751 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 (685 simplex iterations) in 0.37 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 10:21:19 2012 Optimize a model with 33425 rows, 5851 columns and 104755 nonzeros Presolve time: 0.15s Presolved: 33425 rows, 5851 columns, 104755 nonzeros Variable types: 0 continuous, 5851 integer (5851 binary) Root relaxation: objective 0.000000e+00, 336 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 (716 simplex iterations) in 0.24 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 10:21:19 2012 Optimize a model with 16307 rows, 3331 columns and 50881 nonzeros Presolve time: 0.06s Presolved: 16307 rows, 3331 columns, 50881 nonzeros Variable types: 0 continuous, 3331 integer (3331 binary) Root relaxation: objective 0.000000e+00, 287 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 (600 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 10:21:20 2012 Optimize a model with 7748 rows, 2071 columns and 23944 nonzeros Presolve time: 0.02s Presolved: 7748 rows, 2071 columns, 23944 nonzeros Variable types: 0 continuous, 2071 integer (2071 binary) Root relaxation: objective 0.000000e+00, 292 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 (1220 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 10:21:20 2012 Optimize a model with 3944 rows, 1511 columns and 11972 nonzeros Presolve time: 0.01s Presolved: 3944 rows, 1511 columns, 11972 nonzeros Variable types: 0 continuous, 1511 integer (1511 binary) Root relaxation: objective 0.000000e+00, 309 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 278 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 421 - 0.00000 - - 1s 0 0 0.00000 0 421 - 0.00000 - - 2s 0 0 0.00000 0 409 - 0.00000 - - 3s 0 0 0.00000 0 413 - 0.00000 - - 4s 0 0 0.00000 0 404 - 0.00000 - - 5s 0 0 0.00000 0 402 - 0.00000 - - 7s 0 0 0.00000 0 425 - 0.00000 - - 8s 0 0 0.00000 0 413 - 0.00000 - - 9s 0 0 0.00000 0 412 - 0.00000 - - 10s 0 0 0.00000 0 404 - 0.00000 - - 11s 0 0 0.00000 0 403 - 0.00000 - - 12s 0 0 0.00000 0 418 - 0.00000 - - 13s 0 0 0.00000 0 418 - 0.00000 - - 14s 0 2 0.00000 0 418 - 0.00000 - - 15s Cutting planes: Clique: 17 Zero half: 25 Explored 19 nodes (56323 simplex iterations) in 15.75 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 10:21:36 2012 Optimize a model with 5846 rows, 1791 columns and 17958 nonzeros Presolve time: 0.02s Presolved: 5846 rows, 1791 columns, 17958 nonzeros Variable types: 0 continuous, 1791 integer (1791 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 176 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4572 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 10:21:36 2012 Optimize a model with 4895 rows, 1651 columns and 14965 nonzeros Presolve time: 0.01s Presolved: 4895 rows, 1651 columns, 14965 nonzeros Variable types: 0 continuous, 1651 integer (1651 binary) Root relaxation: objective 0.000000e+00, 302 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 270 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 359 - 0.00000 - - 3s 0 0 0.00000 0 355 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 0 0.00000 0 359 - 0.00000 - - 5s 0 0 0.00000 0 359 - 0.00000 - - 5s 0 2 0.00000 0 359 - 0.00000 - - 6s 311 59 0.00000 19 274 - 0.00000 - 132 10s 608 79 0.00000 9 336 - 0.00000 - 118 17s 610 80 0.00000 21 315 - 0.00000 - 117 20s 634 96 0.00000 23 343 - 0.00000 - 170 25s 814 98 0.00000 28 313 - 0.00000 - 194 30s 993 79 0.00000 30 301 - 0.00000 - 212 35s 1175 71 0.00000 26 312 - 0.00000 - 227 40s 1345 73 0.00000 31 305 - 0.00000 - 237 45s 1518 68 infeasible 27 - 0.00000 - 245 50s 1682 76 infeasible 32 - 0.00000 - 252 55s 1834 64 infeasible 26 - 0.00000 - 260 60s 2013 89 0.00000 37 244 - 0.00000 - 262 65s 2162 88 infeasible 35 - 0.00000 - 268 70s 2348 90 infeasible 36 - 0.00000 - 271 75s 2515 111 0.00000 28 329 - 0.00000 - 274 80s 2677 127 infeasible 37 - 0.00000 - 277 85s 2861 129 0.00000 36 248 - 0.00000 - 279 90s 3023 145 infeasible 44 - 0.00000 - 281 95s 3199 145 0.00000 37 251 - 0.00000 - 283 100s 3374 140 infeasible 42 - 0.00000 - 284 105s 3546 142 0.00000 31 318 - 0.00000 - 286 110s 3725 169 0.00000 36 325 - 0.00000 - 286 115s 3907 177 infeasible 38 - 0.00000 - 286 120s 4097 189 infeasible 37 - 0.00000 - 286 125s 4283 187 infeasible 37 - 0.00000 - 286 130s 4458 192 infeasible 42 - 0.00000 - 287 135s 4651 195 infeasible 37 - 0.00000 - 287 140s 4792 196 infeasible 27 - 0.00000 - 289 145s 4958 210 0.00000 38 289 - 0.00000 - 290 150s 5102 208 0.00000 36 298 - 0.00000 - 292 155s 5275 211 infeasible 35 - 0.00000 - 292 160s 5440 222 infeasible 37 - 0.00000 - 293 165s 5598 246 infeasible 39 - 0.00000 - 294 170s 5743 233 infeasible 41 - 0.00000 - 295 175s 5915 243 infeasible 39 - 0.00000 - 295 180s 6113 239 infeasible 37 - 0.00000 - 295 185s 6301 241 infeasible 32 - 0.00000 - 294 190s 6462 236 infeasible 37 - 0.00000 - 295 195s 6655 221 infeasible 36 - 0.00000 - 295 200s 6823 233 infeasible 33 - 0.00000 - 295 205s 6979 235 0.00000 34 312 - 0.00000 - 296 210s 7158 228 0.00000 33 270 - 0.00000 - 296 215s 7349 251 infeasible 37 - 0.00000 - 296 220s 7529 245 infeasible 30 - 0.00000 - 296 225s 7723 247 infeasible 33 - 0.00000 - 295 230s 7904 242 0.00000 22 333 - 0.00000 - 295 235s 8129 287 infeasible 45 - 0.00000 - 294 240s 8322 284 0.00000 35 322 - 0.00000 - 294 245s 8507 285 infeasible 36 - 0.00000 - 294 250s 8676 288 infeasible 33 - 0.00000 - 294 255s 8861 305 infeasible 37 - 0.00000 - 294 260s 9038 300 infeasible 33 - 0.00000 - 294 265s 9195 297 infeasible 34 - 0.00000 - 295 270s 9344 282 infeasible 33 - 0.00000 - 296 275s Cutting planes: Gomory: 2 Clique: 2 Zero half: 17 Explored 9501 nodes (2848356 simplex iterations) in 279.97 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