current bounds on the number of colors: 0 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:58:18 2012 Optimize a model with 22065 rows, 2382 columns and 67620 nonzeros Presolve time: 0.09s Presolved: 22065 rows, 2382 columns, 67620 nonzeros Variable types: 0 continuous, 2382 integer (2382 binary) Root relaxation: objective 0.000000e+00, 127 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 (530 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:58:19 2012 Optimize a model with 11061 rows, 1584 columns and 33810 nonzeros Presolve time: 0.03s Presolved: 11061 rows, 1584 columns, 33810 nonzeros Variable types: 0 continuous, 1584 integer (1584 binary) Root relaxation: objective 0.000000e+00, 125 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 (922 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:58:19 2012 Optimize a model with 5559 rows, 1185 columns and 16905 nonzeros Presolve time: 0.01s Presolved: 5559 rows, 1185 columns, 16905 nonzeros Variable types: 0 continuous, 1185 integer (1185 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 64 - 0.00000 - - 0s 0 0 0.00000 0 89 - 0.00000 - - 0s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 341 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 6s 0 0 0.00000 0 337 - 0.00000 - - 7s 0 0 0.00000 0 338 - 0.00000 - - 8s 0 0 0.00000 0 332 - 0.00000 - - 9s 0 2 0.00000 0 331 - 0.00000 - - 10s Cutting planes: Clique: 80 Zero half: 3 Explored 3 nodes (42039 simplex iterations) in 10.29 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:58:29 2012 Optimize a model with 7917 rows, 1356 columns and 24150 nonzeros Presolve time: 0.02s Presolved: 7917 rows, 1356 columns, 24150 nonzeros Variable types: 0 continuous, 1356 integer (1356 binary) Root relaxation: objective 0.000000e+00, 129 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 64 - 0.00000 - - 0s 0 0 0.00000 0 48 - 0.00000 - - 0s 0 0 0.00000 0 123 - 0.00000 - - 1s 0 0 0.00000 0 173 - 0.00000 - - 1s 0 0 0.00000 0 117 - 0.00000 - - 1s 0 0 0.00000 0 123 - 0.00000 - - 2s 0 0 0.00000 0 152 - 0.00000 - - 2s 0 0 0.00000 0 105 - 0.00000 - - 3s 0 0 0.00000 0 128 - 0.00000 - - 4s 0 0 0.00000 0 224 - 0.00000 - - 4s 0 0 0.00000 0 133 - 0.00000 - - 5s 0 2 0.00000 0 133 - 0.00000 - - 6s 819 43 0.00000 18 112 - 0.00000 - 53.6 10s * 836 3 22 0.0000000 0.00000 0.0% 53.5 10s Cutting planes: Clique: 69 Explored 837 nodes (78553 simplex iterations) in 10.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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:58:40 2012 Optimize a model with 6345 rows, 1242 columns and 19320 nonzeros Presolve time: 0.02s Presolved: 6345 rows, 1242 columns, 19320 nonzeros Variable types: 0 continuous, 1242 integer (1242 binary) Root relaxation: objective 0.000000e+00, 123 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 38 - 0.00000 - - 0s 0 0 0.00000 0 273 - 0.00000 - - 1s 0 0 0.00000 0 309 - 0.00000 - - 2s 0 0 0.00000 0 299 - 0.00000 - - 3s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 234 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 6s 0 0 0.00000 0 323 - 0.00000 - - 7s 0 0 0.00000 0 323 - 0.00000 - - 7s 0 2 0.00000 0 323 - 0.00000 - - 9s 22 6 0.00000 7 216 - 0.00000 - 384 10s Cutting planes: Clique: 173 Explored 33 nodes (49642 simplex iterations) in 10.27 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:58:50 2012 Optimize a model with 7131 rows, 1299 columns and 21735 nonzeros Presolve time: 0.02s Presolved: 7131 rows, 1299 columns, 21735 nonzeros Variable types: 0 continuous, 1299 integer (1299 binary) Root relaxation: objective 0.000000e+00, 132 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 64 - 0.00000 - - 0s 0 0 0.00000 0 38 - 0.00000 - - 0s 0 0 0.00000 0 217 - 0.00000 - - 1s 0 0 0.00000 0 241 - 0.00000 - - 1s 0 0 0.00000 0 127 - 0.00000 - - 2s 0 0 0.00000 0 99 - 0.00000 - - 3s 0 0 0.00000 0 126 - 0.00000 - - 4s 0 0 0.00000 0 154 - 0.00000 - - 5s 0 0 0.00000 0 177 - 0.00000 - - 6s 0 0 0.00000 0 177 - 0.00000 - - 6s 0 2 0.00000 0 177 - 0.00000 - - 7s 123 25 infeasible 17 - 0.00000 - 171 10s 427 15 infeasible 19 - 0.00000 - 170 15s 738 16 infeasible 14 - 0.00000 - 165 20s 1028 22 0.00000 14 176 - 0.00000 - 167 25s 1204 30 0.00000 17 256 - 0.00000 - 166 31s 1206 31 0.00000 7 146 - 0.00000 - 165 35s 1209 33 0.00000 13 220 - 0.00000 - 165 41s 1211 35 0.00000 17 191 - 0.00000 - 165 46s 1214 37 0.00000 8 178 - 0.00000 - 164 50s 1233 45 0.00000 22 164 - 0.00000 - 207 55s 1500 23 0.00000 25 169 - 0.00000 - 199 60s 1759 12 infeasible 28 - 0.00000 - 198 65s 2044 9 0.00000 25 158 - 0.00000 - 195 70s Cutting planes: Clique: 37 Explored 2183 nodes (463267 simplex iterations) in 72.94 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