current bounds on the number of colors: 0 -- 157 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:02:24 2012 Optimize a model with 51793 rows, 12908 columns and 167154 nonzeros Presolve time: 0.16s Presolved: 51793 rows, 12908 columns, 167154 nonzeros Variable types: 0 continuous, 12908 integer (12908 binary) Root relaxation: objective 0.000000e+00, 568 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 (568 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 -- 78 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:02:25 2012 Optimize a model with 25975 rows, 6785 columns and 83577 nonzeros Presolve time: 0.13s Presolved: 25975 rows, 6785 columns, 83577 nonzeros Variable types: 0 continuous, 6785 integer (6785 binary) Root relaxation: objective 0.000000e+00, 477 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 (823 simplex iterations) in 0.19 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 -- 39 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:02:26 2012 Optimize a model with 12735 rows, 3645 columns and 40717 nonzeros Presolve time: 0.05s Presolved: 12735 rows, 3645 columns, 40717 nonzeros Variable types: 0 continuous, 3645 integer (3645 binary) Root relaxation: objective 0.000000e+00, 342 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 (639 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:02:26 2012 Optimize a model with 6115 rows, 2075 columns and 19287 nonzeros Presolve time: 0.02s Presolved: 6115 rows, 2075 columns, 19287 nonzeros Variable types: 0 continuous, 2075 integer (2075 binary) Root relaxation: objective 0.000000e+00, 337 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 (619 simplex iterations) in 0.03 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:02:26 2012 Optimize a model with 2805 rows, 1290 columns and 8572 nonzeros Presolve time: 0.01s Presolved: 2805 rows, 1290 columns, 8572 nonzeros Variable types: 0 continuous, 1290 integer (1290 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.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 2 0.00000 0 380 - 0.00000 - - 1s 803 32 0.00000 14 250 - 0.00000 - 87.3 5s 812 38 0.00000 20 210 - 0.00000 - 86.3 10s 1139 81 infeasible 29 - 0.00000 - 132 15s 1728 194 0.00000 32 287 - 0.00000 - 141 20s 2295 209 0.00000 25 263 - 0.00000 - 146 25s 2864 198 0.00000 26 256 - 0.00000 - 151 30s 3424 186 0.00000 21 256 - 0.00000 - 155 35s 4004 190 infeasible 27 - 0.00000 - 157 40s 4577 241 0.00000 25 309 - 0.00000 - 159 45s 5137 233 infeasible 25 - 0.00000 - 161 50s 5704 256 0.00000 24 325 - 0.00000 - 162 55s 6273 231 0.00000 30 264 - 0.00000 - 163 60s 6872 234 infeasible 27 - 0.00000 - 163 65s 7468 210 infeasible 34 - 0.00000 - 164 70s 8033 205 infeasible 28 - 0.00000 - 164 75s 8633 259 0.00000 24 264 - 0.00000 - 164 80s 9254 224 infeasible 25 - 0.00000 - 164 85s 9794 210 infeasible 22 - 0.00000 - 165 90s 10293 225 infeasible 28 - 0.00000 - 166 95s 10903 227 infeasible 27 - 0.00000 - 166 100s 11393 191 0.00000 23 288 - 0.00000 - 167 105s 11961 203 infeasible 37 - 0.00000 - 167 110s 12536 178 0.00000 19 236 - 0.00000 - 167 115s 13071 203 0.00000 27 262 - 0.00000 - 167 120s 13581 151 infeasible 28 - 0.00000 - 168 125s 14075 135 0.00000 26 268 - 0.00000 - 169 130s 14673 121 0.00000 30 260 - 0.00000 - 168 135s 15241 85 0.00000 24 252 - 0.00000 - 168 140s 15698 50 0.00000 31 256 - 0.00000 - 169 145s 16140 36 infeasible 23 - 0.00000 - 170 150s 16583 11 infeasible 30 - 0.00000 - 171 155s Cutting planes: Zero half: 6 Explored 16689 nodes (2864805 simplex iterations) in 156.11 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:02 2012 Optimize a model with 4129 rows, 1604 columns and 12858 nonzeros Presolve time: 0.01s Presolved: 4129 rows, 1604 columns, 12858 nonzeros Variable types: 0 continuous, 1604 integer (1604 binary) Root relaxation: objective 0.000000e+00, 352 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 6 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1387 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:02 2012 Optimize a model with 3467 rows, 1447 columns and 10715 nonzeros Presolve time: 0.01s Presolved: 3467 rows, 1447 columns, 10715 nonzeros Variable types: 0 continuous, 1447 integer (1447 binary) Root relaxation: objective 0.000000e+00, 342 iterations, 0.00 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 (1327 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% optimal solution found: number of colors: 5