current bounds on the number of colors: 0 -- 178 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:53:55 2012 Optimize a model with 71022 rows, 16638 columns and 228374 nonzeros Presolve time: 0.22s Presolved: 71022 rows, 16638 columns, 228374 nonzeros Variable types: 0 continuous, 16638 integer (16638 binary) Root relaxation: objective 0.000000e+00, 599 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 (990 simplex iterations) in 0.38 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 -- 89 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:53:56 2012 Optimize a model with 35202 rows, 8628 columns and 112904 nonzeros Presolve time: 0.15s Presolved: 35202 rows, 8628 columns, 112904 nonzeros Variable types: 0 continuous, 8628 integer (8628 binary) Root relaxation: objective 0.000000e+00, 595 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 (1040 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:53:57 2012 Optimize a model with 17690 rows, 4712 columns and 56452 nonzeros Presolve time: 0.07s Presolved: 17690 rows, 4712 columns, 56452 nonzeros Variable types: 0 continuous, 4712 integer (4712 binary) Root relaxation: objective 0.000000e+00, 368 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 (698 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:53:57 2012 Optimize a model with 8934 rows, 2754 columns and 28226 nonzeros Presolve time: 0.03s Presolved: 8934 rows, 2754 columns, 28226 nonzeros Variable types: 0 continuous, 2754 integer (2754 binary) Root relaxation: objective 0.000000e+00, 367 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 (669 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 Fri Dec 14 23:53:57 2012 Optimize a model with 4158 rows, 1686 columns and 12830 nonzeros Presolve time: 0.01s Presolved: 4158 rows, 1686 columns, 12830 nonzeros Variable types: 0 continuous, 1686 integer (1686 binary) Root relaxation: objective 0.000000e+00, 388 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 (1638 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:53:57 2012 Optimize a model with 1770 rows, 1152 columns and 5132 nonzeros Presolve removed 178 rows and 178 columns Presolve time: 0.00s Presolved: 1592 rows, 974 columns, 4776 nonzeros Variable types: 0 continuous, 974 integer (974 binary) Root relaxation: objective 0.000000e+00, 184 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 178 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (738 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 Fri Dec 14 23:53:58 2012 Optimize a model with 2566 rows, 1330 columns and 7698 nonzeros Presolve time: 0.01s Presolved: 2566 rows, 1330 columns, 7698 nonzeros Variable types: 0 continuous, 1330 integer (1330 binary) Root relaxation: objective 0.000000e+00, 416 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 356 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 504 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 35 Zero half: 488 Explored 0 nodes (6881 simplex iterations) in 1.00 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 Fri Dec 14 23:53:59 2012 Optimize a model with 3362 rows, 1508 columns and 10264 nonzeros Presolve time: 0.01s Presolved: 3362 rows, 1508 columns, 10264 nonzeros Variable types: 0 continuous, 1508 integer (1508 binary) Root relaxation: objective 0.000000e+00, 413 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 238 - 0.00000 - - 0s 0 0 0.00000 0 251 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 295 - 0.00000 - - 2s 0 0 0.00000 0 280 - 0.00000 - - 2s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 256 - 0.00000 - - 3s 0 0 0.00000 0 250 - 0.00000 - - 3s 0 0 0.00000 0 255 - 0.00000 - - 4s 0 0 0.00000 0 244 - 0.00000 - - 4s 0 0 0.00000 0 238 - 0.00000 - - 4s 0 0 0.00000 0 238 - 0.00000 - - 4s 0 0 0.00000 0 238 - 0.00000 - - 4s 0 2 0.00000 0 238 - 0.00000 - - 5s 605 210 0.00000 21 298 - 0.00000 - 101 10s 610 213 0.00000 19 258 - 0.00000 - 100 15s 616 217 infeasible 13 - 0.00000 - 168 20s 1030 185 infeasible 23 - 0.00000 - 174 25s 1507 182 infeasible 28 - 0.00000 - 176 30s 1989 190 0.00000 28 300 - 0.00000 - 178 35s 2506 189 infeasible 27 - 0.00000 - 177 40s 3000 205 infeasible 27 - 0.00000 - 177 45s 3469 196 infeasible 27 - 0.00000 - 179 50s 3978 191 0.00000 28 316 - 0.00000 - 178 55s 4483 142 0.00000 27 312 - 0.00000 - 179 60s 4980 125 0.00000 28 290 - 0.00000 - 179 65s 5461 190 0.00000 30 337 - 0.00000 - 178 70s 5966 211 0.00000 30 363 - 0.00000 - 178 75s 6429 186 0.00000 25 306 - 0.00000 - 179 80s 6931 178 infeasible 31 - 0.00000 - 179 85s 7433 148 infeasible 30 - 0.00000 - 179 90s 7975 156 0.00000 27 280 - 0.00000 - 178 95s 8459 128 infeasible 29 - 0.00000 - 178 100s 8972 113 0.00000 28 284 - 0.00000 - 178 105s 9454 99 infeasible 30 - 0.00000 - 178 110s 9947 58 0.00000 24 312 - 0.00000 - 178 115s 10413 36 0.00000 26 312 - 0.00000 - 178 120s 10809 42 0.00000 23 355 - 0.00000 - 179 125s 11250 31 0.00000 24 351 - 0.00000 - 180 130s 11689 16 0.00000 26 318 - 0.00000 - 180 135s 12124 17 infeasible 28 - 0.00000 - 180 140s 12580 13 0.00000 32 310 - 0.00000 - 181 145s Cutting planes: Gomory: 1 Zero half: 15 Explored 12686 nodes (2346656 simplex iterations) in 146.26 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