current bounds on the number of colors: 0 -- 180 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:10:29 2012 Optimize a model with 76140 rows, 17044 columns and 244080 nonzeros Presolve time: 0.24s Presolved: 76140 rows, 17044 columns, 244080 nonzeros Variable types: 0 continuous, 17044 integer (17044 binary) Root relaxation: objective 0.000000e+00, 758 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 (1440 simplex iterations) in 0.50 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:10:30 2012 Optimize a model with 38160 rows, 8944 columns and 122040 nonzeros Presolve time: 0.15s Presolved: 38160 rows, 8944 columns, 122040 nonzeros Variable types: 0 continuous, 8944 integer (8944 binary) Root relaxation: objective 0.000000e+00, 622 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 (1013 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:10:31 2012 Optimize a model with 18748 rows, 4804 columns and 59664 nonzeros Presolve time: 0.07s Presolved: 18748 rows, 4804 columns, 59664 nonzeros Variable types: 0 continuous, 4804 integer (4804 binary) Root relaxation: objective 0.000000e+00, 382 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 (866 simplex iterations) in 0.12 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:10:31 2012 Optimize a model with 9464 rows, 2824 columns and 29832 nonzeros Presolve time: 0.03s Presolved: 9464 rows, 2824 columns, 29832 nonzeros Variable types: 0 continuous, 2824 integer (2824 binary) Root relaxation: objective 0.000000e+00, 372 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 (718 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:10:32 2012 Optimize a model with 4400 rows, 1744 columns and 13560 nonzeros Presolve time: 0.01s Presolved: 4400 rows, 1744 columns, 13560 nonzeros Variable types: 0 continuous, 1744 integer (1744 binary) Root relaxation: objective 0.000000e+00, 412 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 137 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2423 simplex iterations) in 0.14 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:10:32 2012 Optimize a model with 1868 rows, 1204 columns and 5424 nonzeros Presolve removed 180 rows and 180 columns Presolve time: 0.00s Presolved: 1688 rows, 1024 columns, 5064 nonzeros Variable types: 0 continuous, 1024 integer (1024 binary) Root relaxation: objective 0.000000e+00, 186 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 180 - 0.00000 - - 0s Explored 0 nodes (762 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:10:32 2012 Optimize a model with 2712 rows, 1384 columns and 8136 nonzeros Presolve time: 0.01s Presolved: 2712 rows, 1384 columns, 8136 nonzeros Variable types: 0 continuous, 1384 integer (1384 binary) Root relaxation: objective 0.000000e+00, 394 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 358 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5224 simplex iterations) in 0.61 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:10:32 2012 Optimize a model with 3556 rows, 1564 columns and 10848 nonzeros Presolve time: 0.01s Presolved: 3556 rows, 1564 columns, 10848 nonzeros Variable types: 0 continuous, 1564 integer (1564 binary) Root relaxation: objective 0.000000e+00, 399 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 344 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 319 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 296 - 0.00000 - - 3s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 5s 0 0 0.00000 0 278 - 0.00000 - - 5s 0 0 0.00000 0 283 - 0.00000 - - 5s 0 0 0.00000 0 276 - 0.00000 - - 6s 0 0 0.00000 0 279 - 0.00000 - - 6s 0 0 0.00000 0 279 - 0.00000 - - 6s 0 2 0.00000 0 279 - 0.00000 - - 7s 380 45 infeasible 21 - 0.00000 - 126 10s 705 93 0.00000 17 326 - 0.00000 - 117 15s 710 96 0.00000 6 281 - 0.00000 - 116 20s 714 99 0.00000 20 254 - 0.00000 - 115 25s 718 101 0.00000 20 384 - 0.00000 - 115 30s 946 89 0.00000 28 391 - 0.00000 - 207 35s 1284 75 infeasible 27 - 0.00000 - 207 40s 1661 132 0.00000 31 383 - 0.00000 - 204 45s 1996 143 0.00000 33 405 - 0.00000 - 206 50s 2361 168 infeasible 34 - 0.00000 - 206 55s 2676 177 infeasible 32 - 0.00000 - 208 60s 2948 201 infeasible 38 - 0.00000 - 211 65s 3270 217 infeasible 29 - 0.00000 - 212 70s 3581 242 0.00000 26 379 - 0.00000 - 213 75s 3871 270 infeasible 36 - 0.00000 - 214 80s 4145 294 0.00000 32 332 - 0.00000 - 216 85s 4492 293 0.00000 29 305 - 0.00000 - 216 90s 4774 292 infeasible 34 - 0.00000 - 217 95s 5102 316 infeasible 28 - 0.00000 - 216 100s 5414 330 0.00000 31 318 - 0.00000 - 217 105s 5692 328 infeasible 31 - 0.00000 - 218 110s 5986 326 0.00000 24 387 - 0.00000 - 219 115s 6279 329 0.00000 38 351 - 0.00000 - 219 120s 6611 323 infeasible 31 - 0.00000 - 218 125s 6901 343 0.00000 36 324 - 0.00000 - 219 130s 7175 357 infeasible 29 - 0.00000 - 220 135s 7473 365 infeasible 33 - 0.00000 - 221 140s 7728 380 infeasible 29 - 0.00000 - 222 145s 8007 389 infeasible 32 - 0.00000 - 222 150s 8266 390 infeasible 32 - 0.00000 - 223 155s 8542 390 infeasible 33 - 0.00000 - 223 160s 8862 408 infeasible 34 - 0.00000 - 223 165s 9133 415 0.00000 31 393 - 0.00000 - 224 170s 9395 445 0.00000 32 340 - 0.00000 - 224 175s 9658 448 infeasible 32 - 0.00000 - 225 180s 9957 511 infeasible 33 - 0.00000 - 225 185s 10255 501 infeasible 34 - 0.00000 - 225 190s 10529 465 infeasible 26 - 0.00000 - 226 195s 10788 434 infeasible 33 - 0.00000 - 227 200s 11061 419 0.00000 27 326 - 0.00000 - 227 205s 11311 415 0.00000 32 308 - 0.00000 - 228 210s 11587 397 0.00000 29 330 - 0.00000 - 228 215s 11856 380 infeasible 31 - 0.00000 - 229 220s 12098 360 infeasible 34 - 0.00000 - 229 225s 12347 345 infeasible 31 - 0.00000 - 230 230s 12656 374 infeasible 38 - 0.00000 - 229 235s 12946 366 infeasible 35 - 0.00000 - 229 240s 13219 347 infeasible 33 - 0.00000 - 230 245s 13484 336 0.00000 26 399 - 0.00000 - 230 250s 13751 353 0.00000 33 401 - 0.00000 - 230 255s 14020 348 infeasible 35 - 0.00000 - 230 260s 14275 325 0.00000 30 308 - 0.00000 - 231 265s 14546 324 infeasible 34 - 0.00000 - 231 270s 14879 329 0.00000 33 312 - 0.00000 - 231 275s 15178 332 infeasible 34 - 0.00000 - 231 280s 15458 320 infeasible 36 - 0.00000 - 231 285s 15721 285 infeasible 31 - 0.00000 - 231 290s Cutting planes: Gomory: 2 Zero half: 21 Explored 15974 nodes (3756353 simplex iterations) in 294.76 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