current bounds on the number of colors: 0 -- 188 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:22:20 2012 Optimize a model with 84412 rows, 18568 columns and 270344 nonzeros Presolve time: 0.27s Presolved: 84412 rows, 18568 columns, 270344 nonzeros Variable types: 0 continuous, 18568 integer (18568 binary) Root relaxation: objective 0.000000e+00, 663 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 (1073 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: 0 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:22:21 2012 Optimize a model with 42300 rows, 9732 columns and 135172 nonzeros Presolve time: 0.15s Presolved: 42300 rows, 9732 columns, 135172 nonzeros Variable types: 0 continuous, 9732 integer (9732 binary) Root relaxation: objective 0.000000e+00, 490 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 (877 simplex iterations) in 0.23 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:22:22 2012 Optimize a model with 20796 rows, 5220 columns and 66148 nonzeros Presolve time: 0.08s Presolved: 20796 rows, 5220 columns, 66148 nonzeros Variable types: 0 continuous, 5220 integer (5220 binary) Root relaxation: objective 0.000000e+00, 404 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 (747 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:22:22 2012 Optimize a model with 10044 rows, 2964 columns and 31636 nonzeros Presolve time: 0.03s Presolved: 10044 rows, 2964 columns, 31636 nonzeros Variable types: 0 continuous, 2964 integer (2964 binary) Root relaxation: objective 0.000000e+00, 398 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 (754 simplex iterations) in 0.06 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 04:22:22 2012 Optimize a model with 4668 rows, 1836 columns and 14380 nonzeros Presolve time: 0.01s Presolved: 4668 rows, 1836 columns, 14380 nonzeros Variable types: 0 continuous, 1836 integer (1836 binary) Root relaxation: objective 0.000000e+00, 435 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 207 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3230 simplex iterations) in 0.17 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 04:22:23 2012 Optimize a model with 1980 rows, 1272 columns and 5752 nonzeros Presolve removed 188 rows and 188 columns Presolve time: 0.00s Presolved: 1792 rows, 1084 columns, 5376 nonzeros Variable types: 0 continuous, 1084 integer (1084 binary) Root relaxation: objective 0.000000e+00, 196 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 188 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (810 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 04:22:23 2012 Optimize a model with 2876 rows, 1460 columns and 8628 nonzeros Presolve time: 0.01s Presolved: 2876 rows, 1460 columns, 8628 nonzeros Variable types: 0 continuous, 1460 integer (1460 binary) Root relaxation: objective 0.000000e+00, 428 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 274 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 0.00000 0 517 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 45 Clique: 1 Zero half: 454 Explored 0 nodes (11291 simplex iterations) in 1.55 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 04:22:24 2012 Optimize a model with 3772 rows, 1648 columns and 11504 nonzeros Presolve time: 0.01s Presolved: 3772 rows, 1648 columns, 11504 nonzeros Variable types: 0 continuous, 1648 integer (1648 binary) Root relaxation: objective 0.000000e+00, 431 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 364 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 361 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 312 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 308 - 0.00000 - - 5s 0 0 0.00000 0 294 - 0.00000 - - 6s 0 0 0.00000 0 294 - 0.00000 - - 6s 0 0 0.00000 0 294 - 0.00000 - - 6s 0 2 0.00000 0 294 - 0.00000 - - 7s 419 80 0.00000 17 308 - 0.00000 - 104 10s 607 109 0.00000 21 324 - 0.00000 - 104 15s 610 111 0.00000 8 308 - 0.00000 - 104 20s 614 114 0.00000 21 300 - 0.00000 - 103 26s 617 116 0.00000 11 278 - 0.00000 - 103 30s 953 36 infeasible 32 - 0.00000 - 198 35s 1328 16 infeasible 27 - 0.00000 - 199 40s 1696 84 infeasible 29 - 0.00000 - 198 45s 2047 97 infeasible 29 - 0.00000 - 201 50s 2387 95 infeasible 29 - 0.00000 - 203 55s 2718 104 infeasible 33 - 0.00000 - 205 60s 3043 103 infeasible 29 - 0.00000 - 207 65s 3358 88 infeasible 31 - 0.00000 - 210 70s 3714 66 0.00000 29 406 - 0.00000 - 210 75s 4003 61 infeasible 37 - 0.00000 - 211 80s 4295 43 0.00000 25 336 - 0.00000 - 213 85s 4649 53 infeasible 31 - 0.00000 - 213 90s 5055 79 infeasible 33 - 0.00000 - 211 95s 5409 51 0.00000 26 336 - 0.00000 - 211 100s 5761 51 infeasible 34 - 0.00000 - 211 105s 6079 55 0.00000 29 330 - 0.00000 - 212 110s 6403 55 infeasible 31 - 0.00000 - 213 115s 6703 53 infeasible 36 - 0.00000 - 214 120s 6999 55 infeasible 29 - 0.00000 - 215 125s 7315 47 infeasible 28 - 0.00000 - 215 130s 7618 34 0.00000 26 326 - 0.00000 - 215 135s 7907 25 0.00000 29 366 - 0.00000 - 216 140s 8247 25 infeasible 27 - 0.00000 - 216 145s 8549 29 infeasible 25 - 0.00000 - 217 150s 8911 21 0.00000 29 336 - 0.00000 - 217 155s 9252 20 0.00000 28 354 - 0.00000 - 217 160s Cutting planes: Gomory: 2 Zero half: 20 Explored 9437 nodes (2110888 simplex iterations) in 162.89 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5