current bounds on the number of colors: 0 -- 111 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:06:46 2012 Optimize a model with 37346 rows, 6782 columns and 117810 nonzeros Presolve time: 0.14s Presolved: 37346 rows, 6782 columns, 117810 nonzeros Variable types: 0 continuous, 6782 integer (6782 binary) Root relaxation: objective 0.000000e+00, 272 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 (526 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 -- 55 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:06:47 2012 Optimize a model with 18390 rows, 3674 columns and 57834 nonzeros Presolve time: 0.08s Presolved: 18390 rows, 3674 columns, 57834 nonzeros Variable types: 0 continuous, 3674 integer (3674 binary) Root relaxation: objective 0.000000e+00, 267 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 (504 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 -- 27 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:06:47 2012 Optimize a model with 8912 rows, 2120 columns and 27846 nonzeros Presolve time: 0.03s Presolved: 8912 rows, 2120 columns, 27846 nonzeros Variable types: 0 continuous, 2120 integer (2120 binary) Root relaxation: objective 0.000000e+00, 227 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 (442 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 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:06:48 2012 Optimize a model with 4173 rows, 1343 columns and 12852 nonzeros Presolve time: 0.01s Presolved: 4173 rows, 1343 columns, 12852 nonzeros Variable types: 0 continuous, 1343 integer (1343 binary) Root relaxation: objective 0.000000e+00, 240 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 94 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1829 simplex iterations) in 0.11 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 Thu Dec 13 20:06:48 2012 Optimize a model with 2142 rows, 1010 columns and 6426 nonzeros Presolve time: 0.01s Presolved: 2142 rows, 1010 columns, 6426 nonzeros Variable types: 0 continuous, 1010 integer (1010 binary) Root relaxation: objective 0.000000e+00, 243 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 174 - 0.00000 - - 0s 0 0 0.00000 0 269 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3912 simplex iterations) in 0.35 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 Thu Dec 13 20:06:48 2012 Optimize a model with 2819 rows, 1121 columns and 8568 nonzeros Presolve time: 0.01s Presolved: 2819 rows, 1121 columns, 8568 nonzeros Variable types: 0 continuous, 1121 integer (1121 binary) Root relaxation: objective 0.000000e+00, 244 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 220 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 0s 0 0 0.00000 0 339 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 2s 0 0 0.00000 0 331 - 0.00000 - - 2s 0 0 0.00000 0 335 - 0.00000 - - 3s 0 0 0.00000 0 339 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 2 0.00000 0 338 - 0.00000 - - 5s Cutting planes: Clique: 10 Zero half: 14 Explored 5 nodes (28432 simplex iterations) in 5.56 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 Thu Dec 13 20:06:54 2012 Optimize a model with 3496 rows, 1232 columns and 10710 nonzeros Presolve time: 0.01s Presolved: 3496 rows, 1232 columns, 10710 nonzeros Variable types: 0 continuous, 1232 integer (1232 binary) Root relaxation: objective 0.000000e+00, 239 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 218 - 0.00000 - - 0s 0 0 0.00000 0 241 - 0.00000 - - 0s 0 0 0.00000 0 156 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 146 - 0.00000 - - 1s 0 0 0.00000 0 134 - 0.00000 - - 1s 0 0 0.00000 0 145 - 0.00000 - - 1s 0 0 0.00000 0 170 - 0.00000 - - 2s 0 0 0.00000 0 141 - 0.00000 - - 2s 0 0 0.00000 0 170 - 0.00000 - - 2s 0 0 0.00000 0 177 - 0.00000 - - 2s 0 0 0.00000 0 169 - 0.00000 - - 3s 0 2 0.00000 0 169 - 0.00000 - - 3s 340 26 0.00000 23 231 - 0.00000 - 75.1 5s 1205 77 0.00000 19 140 - 0.00000 - 73.4 10s 1217 85 0.00000 11 267 - 0.00000 - 98.0 15s 1634 35 0.00000 21 187 - 0.00000 - 120 20s 2051 40 infeasible 28 - 0.00000 - 133 25s 2432 40 infeasible 23 - 0.00000 - 143 30s 2840 30 infeasible 27 - 0.00000 - 149 35s 3225 23 infeasible 22 - 0.00000 - 154 40s 3584 36 infeasible 30 - 0.00000 - 159 45s 3957 51 infeasible 22 - 0.00000 - 163 50s * 4311 1 27 0.0000000 0.00000 0.0% 164 54s Cutting planes: Clique: 1 Zero half: 15 Explored 4312 nodes (739170 simplex iterations) in 54.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