current bounds on the number of colors: 0 -- 206 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:54:11 2012 Optimize a model with 109489 rows, 22279 columns and 349067 nonzeros Presolve time: 0.37s Presolved: 109489 rows, 22279 columns, 349067 nonzeros Variable types: 0 continuous, 22279 integer (22279 binary) Root relaxation: objective 0.000000e+00, 899 iterations, 0.13 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 (1423 simplex iterations) in 0.67 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:54:13 2012 Optimize a model with 54317 rows, 11567 columns and 172839 nonzeros Presolve time: 0.16s Presolved: 54317 rows, 11567 columns, 172839 nonzeros Variable types: 0 continuous, 11567 integer (11567 binary) Root relaxation: objective 0.000000e+00, 673 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 (1155 simplex iterations) in 0.29 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:54:14 2012 Optimize a model with 26731 rows, 6211 columns and 84725 nonzeros Presolve time: 0.11s Presolved: 26731 rows, 6211 columns, 84725 nonzeros Variable types: 0 continuous, 6211 integer (6211 binary) Root relaxation: objective 0.000000e+00, 465 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 (854 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:54:15 2012 Optimize a model with 12938 rows, 3533 columns and 40668 nonzeros Presolve time: 0.04s Presolved: 12938 rows, 3533 columns, 40668 nonzeros Variable types: 0 continuous, 3533 integer (3533 binary) Root relaxation: objective 0.000000e+00, 433 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 (831 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:54:15 2012 Optimize a model with 6572 rows, 2297 columns and 20334 nonzeros Presolve time: 0.02s Presolved: 6572 rows, 2297 columns, 20334 nonzeros Variable types: 0 continuous, 2297 integer (2297 binary) Root relaxation: objective 0.000000e+00, 442 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 (2368 simplex iterations) in 0.13 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 11:54:15 2012 Optimize a model with 3389 rows, 1679 columns and 10167 nonzeros Presolve time: 0.01s Presolved: 3389 rows, 1679 columns, 10167 nonzeros Variable types: 0 continuous, 1679 integer (1679 binary) Root relaxation: objective 0.000000e+00, 443 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 318 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9433 simplex iterations) in 1.19 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 11:54:16 2012 Optimize a model with 4450 rows, 1885 columns and 13556 nonzeros Presolve time: 0.01s Presolved: 4450 rows, 1885 columns, 13556 nonzeros Variable types: 0 continuous, 1885 integer (1885 binary) Root relaxation: objective 0.000000e+00, 451 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 394 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 488 - 0.00000 - - 1s 0 0 0.00000 0 363 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 2 0.00000 0 352 - 0.00000 - - 7s 171 55 0.00000 21 350 - 0.00000 - 185 10s 541 89 0.00000 24 364 - 0.00000 - 171 15s 613 89 0.00000 11 358 - 0.00000 - 170 21s 615 90 0.00000 4 348 - 0.00000 - 169 25s 618 92 0.00000 9 338 - 0.00000 - 168 31s 620 93 0.00000 11 340 - 0.00000 - 168 36s 622 95 0.00000 18 336 - 0.00000 - 167 40s 624 96 0.00000 12 302 - 0.00000 - 167 45s 630 100 0.00000 16 328 - 0.00000 - 301 50s 667 107 0.00000 25 388 - 0.00000 - 297 55s 832 73 infeasible 29 - 0.00000 - 291 60s 955 40 0.00000 32 449 - 0.00000 - 301 65s 1095 46 infeasible 29 - 0.00000 - 305 70s 1242 69 0.00000 25 384 - 0.00000 - 308 75s 1397 68 infeasible 31 - 0.00000 - 309 80s 1589 90 0.00000 27 376 - 0.00000 - 305 85s 1762 83 0.00000 26 376 - 0.00000 - 305 90s 1938 93 0.00000 33 364 - 0.00000 - 304 95s 2097 96 infeasible 31 - 0.00000 - 304 100s 2290 119 infeasible 30 - 0.00000 - 302 105s 2499 118 0.00000 28 387 - 0.00000 - 300 110s 2672 113 infeasible 31 - 0.00000 - 301 115s 2813 114 infeasible 29 - 0.00000 - 303 120s 2981 110 0.00000 28 374 - 0.00000 - 304 125s 3127 106 0.00000 28 372 - 0.00000 - 307 130s 3310 109 infeasible 30 - 0.00000 - 306 135s 3470 111 0.00000 29 454 - 0.00000 - 307 140s 3610 97 0.00000 31 356 - 0.00000 - 309 145s 3753 78 infeasible 32 - 0.00000 - 311 150s 3885 60 0.00000 23 473 - 0.00000 - 314 155s 4055 58 0.00000 28 362 - 0.00000 - 314 160s 4241 62 infeasible 35 - 0.00000 - 314 165s 4394 63 0.00000 30 362 - 0.00000 - 315 170s 4555 52 infeasible 30 - 0.00000 - 316 175s 4699 44 0.00000 26 374 - 0.00000 - 317 180s 4857 40 0.00000 29 389 - 0.00000 - 317 185s 4999 42 0.00000 32 476 - 0.00000 - 318 190s 5160 33 infeasible 32 - 0.00000 - 318 195s 5309 38 0.00000 27 430 - 0.00000 - 319 200s 5475 42 0.00000 32 387 - 0.00000 - 319 205s 5636 43 0.00000 31 455 - 0.00000 - 319 210s 5814 35 infeasible 28 - 0.00000 - 318 215s 5962 33 0.00000 30 388 - 0.00000 - 319 220s 6083 26 0.00000 34 370 - 0.00000 - 320 225s 6272 27 infeasible 28 - 0.00000 - 319 230s 6418 19 0.00000 29 431 - 0.00000 - 320 235s 6584 15 infeasible 26 - 0.00000 - 320 240s 6728 9 infeasible 26 - 0.00000 - 320 245s 6893 10 0.00000 27 460 - 0.00000 - 320 250s Cutting planes: Gomory: 1 Zero half: 9 Explored 7036 nodes (2303422 simplex iterations) in 254.82 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:58:31 2012 Optimize a model with 5511 rows, 2091 columns and 16945 nonzeros Presolve time: 0.02s Presolved: 5511 rows, 2091 columns, 16945 nonzeros Variable types: 0 continuous, 2091 integer (2091 binary) Root relaxation: objective 0.000000e+00, 455 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 394 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2204 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% optimal solution found: number of colors: 5