current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:02:30 2012 Optimize a model with 121124 rows, 24028 columns and 385628 nonzeros Presolve time: 0.42s Presolved: 121124 rows, 24028 columns, 385628 nonzeros Variable types: 0 continuous, 24028 integer (24028 binary) Root relaxation: objective 0.000000e+00, 560 iterations, 0.15 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 (1019 simplex iterations) in 0.75 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:02:32 2012 Optimize a model with 60104 rows, 12472 columns and 191012 nonzeros Presolve time: 0.18s Presolved: 60104 rows, 12472 columns, 191012 nonzeros Variable types: 0 continuous, 12472 integer (12472 binary) Root relaxation: objective 0.000000e+00, 781 iterations, 0.07 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 (1279 simplex iterations) in 0.35 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:02:33 2012 Optimize a model with 29594 rows, 6694 columns and 93704 nonzeros Presolve time: 0.12s Presolved: 29594 rows, 6694 columns, 93704 nonzeros Variable types: 0 continuous, 6694 integer (6694 binary) Root relaxation: objective 0.000000e+00, 493 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 (899 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:02:34 2012 Optimize a model with 14904 rows, 3912 columns and 46852 nonzeros Presolve time: 0.05s Presolved: 14904 rows, 3912 columns, 46852 nonzeros Variable types: 0 continuous, 3912 integer (3912 binary) Root relaxation: objective 0.000000e+00, 436 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 (1050 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:02:34 2012 Optimize a model with 6994 rows, 2414 columns and 21624 nonzeros Presolve time: 0.02s Presolved: 6994 rows, 2414 columns, 21624 nonzeros Variable types: 0 continuous, 2414 integer (2414 binary) Root relaxation: objective 0.000000e+00, 450 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 (1889 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:02:34 2012 Optimize a model with 3604 rows, 1772 columns and 10812 nonzeros Presolve time: 0.01s Presolved: 3604 rows, 1772 columns, 10812 nonzeros Variable types: 0 continuous, 1772 integer (1772 binary) Root relaxation: objective 0.000000e+00, 499 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 328 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9070 simplex iterations) in 1.04 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:02:35 2012 Optimize a model with 4734 rows, 1986 columns and 14416 nonzeros Presolve time: 0.01s Presolved: 4734 rows, 1986 columns, 14416 nonzeros Variable types: 0 continuous, 1986 integer (1986 binary) Root relaxation: objective 0.000000e+00, 463 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 422 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 1s 0 0 0.00000 0 468 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 3s 0 0 0.00000 0 388 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 388 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 413 - 0.00000 - - 7s 0 0 0.00000 0 412 - 0.00000 - - 7s 0 2 0.00000 0 412 - 0.00000 - - 8s 66 18 0.00000 14 376 - 0.00000 - 197 10s 466 52 0.00000 24 362 - 0.00000 - 152 15s 605 80 0.00000 25 407 - 0.00000 - 153 22s 607 81 0.00000 9 394 - 0.00000 - 153 27s 608 82 0.00000 26 396 - 0.00000 - 153 30s 610 83 0.00000 10 398 - 0.00000 - 152 35s 612 84 0.00000 13 388 - 0.00000 - 152 40s 658 97 0.00000 13 386 - 0.00000 - 270 45s 810 72 infeasible 22 - 0.00000 - 274 50s 957 72 infeasible 19 - 0.00000 - 279 55s 1098 81 infeasible 24 - 0.00000 - 284 60s 1230 73 0.00000 20 442 - 0.00000 - 292 65s 1384 121 0.00000 27 392 - 0.00000 - 292 70s 1553 180 0.00000 23 400 - 0.00000 - 290 75s 1705 204 0.00000 27 516 - 0.00000 - 290 80s 1853 208 infeasible 32 - 0.00000 - 292 85s 1982 215 infeasible 25 - 0.00000 - 296 90s 2122 225 infeasible 27 - 0.00000 - 297 95s 2263 238 infeasible 28 - 0.00000 - 299 100s 2392 237 infeasible 22 - 0.00000 - 301 105s 2527 244 infeasible 30 - 0.00000 - 303 110s 2655 240 infeasible 26 - 0.00000 - 306 115s 2792 243 infeasible 32 - 0.00000 - 307 120s 2917 258 0.00000 20 400 - 0.00000 - 309 125s 3048 263 0.00000 27 400 - 0.00000 - 310 130s 3172 273 infeasible 20 - 0.00000 - 312 135s 3315 282 infeasible 22 - 0.00000 - 312 140s 3462 285 0.00000 24 400 - 0.00000 - 313 145s 3630 317 infeasible 35 - 0.00000 - 311 150s 3778 311 infeasible 29 - 0.00000 - 311 155s 3928 309 infeasible 27 - 0.00000 - 312 160s 4055 304 infeasible 26 - 0.00000 - 313 165s 4185 310 0.00000 25 420 - 0.00000 - 314 170s 4323 308 infeasible 20 - 0.00000 - 315 175s 4466 303 infeasible 28 - 0.00000 - 315 180s 4575 302 infeasible 27 - 0.00000 - 317 185s 4711 296 infeasible 28 - 0.00000 - 317 190s 4860 297 infeasible 20 - 0.00000 - 317 195s 5007 302 infeasible 29 - 0.00000 - 318 200s 5130 293 infeasible 24 - 0.00000 - 319 205s 5286 291 0.00000 19 390 - 0.00000 - 318 210s 5437 294 infeasible 21 - 0.00000 - 318 215s 5588 301 infeasible 21 - 0.00000 - 318 220s 5742 311 infeasible 25 - 0.00000 - 318 225s 5857 290 infeasible 26 - 0.00000 - 319 230s 5984 277 0.00000 20 495 - 0.00000 - 320 235s 6087 266 infeasible 26 - 0.00000 - 322 240s 6224 259 infeasible 24 - 0.00000 - 322 245s 6354 243 infeasible 33 - 0.00000 - 323 250s 6475 226 infeasible 22 - 0.00000 - 323 255s 6603 216 infeasible 25 - 0.00000 - 324 260s 6731 214 infeasible 28 - 0.00000 - 325 265s 6843 204 infeasible 27 - 0.00000 - 326 270s 6969 196 infeasible 22 - 0.00000 - 327 275s 7083 186 infeasible 25 - 0.00000 - 328 280s 7205 194 infeasible 25 - 0.00000 - 328 285s 7352 191 infeasible 22 - 0.00000 - 328 290s Cutting planes: Gomory: 1 Zero half: 17 Explored 7402 nodes (2483468 simplex iterations) in 292.01 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:07:27 2012 Optimize a model with 5864 rows, 2200 columns and 18020 nonzeros Presolve time: 0.02s Presolved: 5864 rows, 2200 columns, 18020 nonzeros Variable types: 0 continuous, 2200 integer (2200 binary) Root relaxation: time limit, 148 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 - 0 - - - - 0s Explored 0 nodes (148 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound -, gap - optimal solution found: number of colors: 6