current bounds on the number of colors: 0 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:56:25 2012 Optimize a model with 21477 rows, 2361 columns and 65856 nonzeros Presolve time: 0.09s Presolved: 21477 rows, 2361 columns, 65856 nonzeros Variable types: 0 continuous, 2361 integer (2361 binary) Root relaxation: objective 0.000000e+00, 143 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 (364 simplex iterations) in 0.14 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:56:25 2012 Optimize a model with 10767 rows, 1563 columns and 32928 nonzeros Presolve time: 0.03s Presolved: 10767 rows, 1563 columns, 32928 nonzeros Variable types: 0 continuous, 1563 integer (1563 binary) Root relaxation: objective 0.000000e+00, 116 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 (990 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:56:26 2012 Optimize a model with 5412 rows, 1164 columns and 16464 nonzeros Presolve time: 0.01s Presolved: 5412 rows, 1164 columns, 16464 nonzeros Variable types: 0 continuous, 1164 integer (1164 binary) Root relaxation: objective 0.000000e+00, 115 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 74 - 0.00000 - - 0s 0 0 0.00000 0 82 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3546 simplex iterations) in 0.51 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:56:26 2012 Optimize a model with 7707 rows, 1335 columns and 23520 nonzeros Presolve time: 0.02s Presolved: 7707 rows, 1335 columns, 23520 nonzeros Variable types: 0 continuous, 1335 integer (1335 binary) Root relaxation: objective 0.000000e+00, 126 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 42 - 0.00000 - - 0s 0 0 0.00000 0 59 - 0.00000 - - 0s Cutting planes: Clique: 2 Explored 0 nodes (3357 simplex iterations) in 0.33 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:56:27 2012 Optimize a model with 6177 rows, 1221 columns and 18816 nonzeros Presolve time: 0.02s Presolved: 6177 rows, 1221 columns, 18816 nonzeros Variable types: 0 continuous, 1221 integer (1221 binary) Root relaxation: objective 0.000000e+00, 121 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 50 - 0.00000 - - 0s 0 0 0.00000 0 44 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 303 - 0.00000 - - 1s 0 0 0.00000 0 253 - 0.00000 - - 2s 0 0 0.00000 0 288 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 5s 0 0 0.00000 0 217 - 0.00000 - - 6s 0 2 0.00000 0 209 - 0.00000 - - 7s Cutting planes: Clique: 83 Zero half: 3 Explored 23 nodes (37444 simplex iterations) in 8.04 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: 8 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:56:35 2012 Optimize a model with 6942 rows, 1278 columns and 21168 nonzeros Presolve time: 0.02s Presolved: 6942 rows, 1278 columns, 21168 nonzeros Variable types: 0 continuous, 1278 integer (1278 binary) Root relaxation: objective 0.000000e+00, 126 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 62 - 0.00000 - - 0s 0 0 0.00000 0 30 - 0.00000 - - 0s 0 0 0.00000 0 153 - 0.00000 - - 1s 0 0 0.00000 0 213 - 0.00000 - - 1s 0 0 0.00000 0 185 - 0.00000 - - 2s 0 0 0.00000 0 209 - 0.00000 - - 3s 0 0 0.00000 0 193 - 0.00000 - - 4s 0 0 0.00000 0 228 - 0.00000 - - 5s 0 0 0.00000 0 216 - 0.00000 - - 6s 0 0 0.00000 0 197 - 0.00000 - - 7s 0 0 0.00000 0 264 - 0.00000 - - 8s 0 0 0.00000 0 242 - 0.00000 - - 9s 0 2 0.00000 0 242 - 0.00000 - - 10s 299 21 0.00000 18 143 - 0.00000 - 147 15s 677 19 infeasible 17 - 0.00000 - 141 20s 1047 9 infeasible 17 - 0.00000 - 140 25s 1359 11 0.00000 13 169 - 0.00000 - 146 30s 1695 9 0.00000 17 146 - 0.00000 - 148 35s 2005 17 0.00000 0 153 - 0.00000 - 146 40s 2008 19 0.00000 0 237 - 0.00000 - 146 45s 2011 21 0.00000 0 205 - 0.00000 - 146 51s 2013 23 0.00000 0 204 - 0.00000 - 146 55s 2015 24 0.00000 0 226 - 0.00000 - 145 60s 2018 26 0.00000 0 219 - 0.00000 - 145 66s 2095 17 infeasible 30 - 0.00000 - 172 70s 2418 20 0.00000 24 165 - 0.00000 - 172 75s 2715 15 0.00000 28 177 - 0.00000 - 173 80s 3028 21 infeasible 29 - 0.00000 - 172 85s 3353 25 infeasible 30 - 0.00000 - 171 90s 3654 18 infeasible 31 - 0.00000 - 172 95s 3963 11 0.00000 26 145 - 0.00000 - 171 100s Cutting planes: Clique: 29 Zero half: 8 Explored 4127 nodes (755065 simplex iterations) in 102.77 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 10