current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:55:55 2012 Optimize a model with 54144 rows, 9036 columns and 170240 nonzeros Presolve time: 0.17s Presolved: 54144 rows, 9036 columns, 170240 nonzeros Variable types: 0 continuous, 9036 integer (9036 binary) Root relaxation: objective 0.000000e+00, 333 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 (624 simplex iterations) in 0.30 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:55:56 2012 Optimize a model with 27136 rows, 4940 columns and 85120 nonzeros Presolve time: 0.12s Presolved: 27136 rows, 4940 columns, 85120 nonzeros Variable types: 0 continuous, 4940 integer (4940 binary) Root relaxation: objective 0.000000e+00, 304 iterations, 0.03 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 (637 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:55:56 2012 Optimize a model with 13632 rows, 2892 columns and 42560 nonzeros Presolve time: 0.05s Presolved: 13632 rows, 2892 columns, 42560 nonzeros Variable types: 0 continuous, 2892 integer (2892 binary) Root relaxation: objective 0.000000e+00, 260 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 (519 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:55:56 2012 Optimize a model with 6880 rows, 1868 columns and 21280 nonzeros Presolve time: 0.02s Presolved: 6880 rows, 1868 columns, 21280 nonzeros Variable types: 0 continuous, 1868 integer (1868 binary) Root relaxation: objective 0.000000e+00, 274 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 (655 simplex iterations) in 0.04 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 00:55:57 2012 Optimize a model with 3504 rows, 1356 columns and 10640 nonzeros Presolve time: 0.01s Presolved: 3504 rows, 1356 columns, 10640 nonzeros Variable types: 0 continuous, 1356 integer (1356 binary) Root relaxation: objective 0.000000e+00, 291 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 248 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 4s 0 2 0.00000 0 384 - 0.00000 - - 5s Cutting planes: Clique: 10 Zero half: 20 Explored 11 nodes (25593 simplex iterations) in 5.89 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 00:56:03 2012 Optimize a model with 5192 rows, 1612 columns and 15960 nonzeros Presolve time: 0.01s Presolved: 5192 rows, 1612 columns, 15960 nonzeros Variable types: 0 continuous, 1612 integer (1612 binary) Root relaxation: objective 0.000000e+00, 284 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 (3727 simplex iterations) in 0.30 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 00:56:03 2012 Optimize a model with 4348 rows, 1484 columns and 13300 nonzeros Presolve time: 0.01s Presolved: 4348 rows, 1484 columns, 13300 nonzeros Variable types: 0 continuous, 1484 integer (1484 binary) Root relaxation: objective 0.000000e+00, 272 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 252 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 220 - 0.00000 - - 1s 0 0 0.00000 0 216 - 0.00000 - - 2s 0 0 0.00000 0 220 - 0.00000 - - 2s 0 0 0.00000 0 223 - 0.00000 - - 3s 0 0 0.00000 0 216 - 0.00000 - - 3s 0 0 0.00000 0 206 - 0.00000 - - 3s 0 0 0.00000 0 196 - 0.00000 - - 4s 0 0 0.00000 0 184 - 0.00000 - - 4s 0 0 0.00000 0 230 - 0.00000 - - 5s 0 0 0.00000 0 277 - 0.00000 - - 5s 0 0 0.00000 0 277 - 0.00000 - - 6s 0 2 0.00000 0 277 - 0.00000 - - 6s 275 45 0.00000 18 230 - 0.00000 - 124 10s 611 47 0.00000 7 233 - 0.00000 - 119 15s 616 50 0.00000 9 241 - 0.00000 - 119 20s 627 55 0.00000 18 313 - 0.00000 - 180 25s 776 59 infeasible 36 - 0.00000 - 191 30s 1020 79 infeasible 33 - 0.00000 - 205 35s 1230 85 infeasible 30 - 0.00000 - 219 40s 1445 130 0.00000 33 284 - 0.00000 - 224 45s 1710 143 0.00000 32 263 - 0.00000 - 226 50s 1956 183 0.00000 38 204 - 0.00000 - 229 55s 2202 187 infeasible 37 - 0.00000 - 230 60s 2429 186 infeasible 32 - 0.00000 - 234 65s 2687 238 infeasible 39 - 0.00000 - 235 70s 2954 281 infeasible 35 - 0.00000 - 236 75s 3196 287 infeasible 35 - 0.00000 - 238 80s 3434 307 infeasible 34 - 0.00000 - 240 85s 3644 295 0.00000 27 283 - 0.00000 - 244 90s 3894 321 0.00000 30 254 - 0.00000 - 244 95s 4112 301 infeasible 35 - 0.00000 - 246 100s 4348 283 infeasible 27 - 0.00000 - 248 105s 4574 277 infeasible 37 - 0.00000 - 249 110s 4804 283 0.00000 37 289 - 0.00000 - 250 115s 5041 282 infeasible 36 - 0.00000 - 251 120s 5303 274 0.00000 32 303 - 0.00000 - 250 125s 5537 290 infeasible 35 - 0.00000 - 251 130s 5743 294 infeasible 35 - 0.00000 - 253 135s 5982 311 0.00000 32 300 - 0.00000 - 253 140s 6176 305 0.00000 35 288 - 0.00000 - 255 145s 6403 324 0.00000 35 297 - 0.00000 - 255 150s 6654 325 infeasible 33 - 0.00000 - 255 155s 6894 327 infeasible 37 - 0.00000 - 256 160s 7120 319 0.00000 32 243 - 0.00000 - 256 165s 7368 331 0.00000 29 268 - 0.00000 - 256 170s 7608 335 0.00000 29 277 - 0.00000 - 257 175s 7858 333 infeasible 31 - 0.00000 - 257 180s 8117 356 infeasible 33 - 0.00000 - 256 185s 8360 343 infeasible 37 - 0.00000 - 257 190s 8596 367 0.00000 35 270 - 0.00000 - 257 195s 8831 354 infeasible 37 - 0.00000 - 257 200s 9063 350 infeasible 33 - 0.00000 - 257 205s 9301 334 infeasible 37 - 0.00000 - 257 210s 9496 343 infeasible 35 - 0.00000 - 258 215s 9727 334 0.00000 23 312 - 0.00000 - 259 220s 9949 348 0.00000 30 208 - 0.00000 - 259 225s 10185 368 0.00000 27 299 - 0.00000 - 259 230s 10402 381 infeasible 37 - 0.00000 - 260 235s 10623 386 infeasible 35 - 0.00000 - 260 240s 10843 386 0.00000 30 282 - 0.00000 - 261 245s 11050 381 0.00000 33 261 - 0.00000 - 262 250s 11255 368 0.00000 31 285 - 0.00000 - 263 255s 11446 371 0.00000 33 278 - 0.00000 - 264 260s 11658 369 infeasible 30 - 0.00000 - 264 265s 11873 378 infeasible 35 - 0.00000 - 264 270s 12117 368 infeasible 30 - 0.00000 - 264 275s 12335 350 infeasible 37 - 0.00000 - 265 280s 12555 350 0.00000 31 295 - 0.00000 - 265 285s 12804 335 0.00000 33 285 - 0.00000 - 265 290s Cutting planes: Gomory: 2 Clique: 4 Zero half: 22 Explored 12835 nodes (3449678 simplex iterations) in 290.66 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