current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:22:15 2012 Optimize a model with 59137 rows, 9672 columns and 185790 nonzeros Presolve time: 0.18s Presolved: 59137 rows, 9672 columns, 185790 nonzeros Variable types: 0 continuous, 9672 integer (9672 binary) Root relaxation: objective 0.000000e+00, 336 iterations, 0.07 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 (643 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: 0 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:22:16 2012 Optimize a model with 29635 rows, 5283 columns and 92895 nonzeros Presolve time: 0.14s Presolved: 29635 rows, 5283 columns, 92895 nonzeros Variable types: 0 continuous, 5283 integer (5283 binary) Root relaxation: objective 0.000000e+00, 312 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 (618 simplex iterations) in 0.21 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:22:17 2012 Optimize a model with 14437 rows, 3022 columns and 45040 nonzeros Presolve time: 0.05s Presolved: 14437 rows, 3022 columns, 45040 nonzeros Variable types: 0 continuous, 3022 integer (3022 binary) Root relaxation: objective 0.000000e+00, 275 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 (711 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:22:17 2012 Optimize a model with 7285 rows, 1958 columns and 22520 nonzeros Presolve time: 0.02s Presolved: 7285 rows, 1958 columns, 22520 nonzeros Variable types: 0 continuous, 1958 integer (1958 binary) Root relaxation: objective 0.000000e+00, 281 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 (1150 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:22:17 2012 Optimize a model with 3709 rows, 1426 columns and 11260 nonzeros Presolve time: 0.01s Presolved: 3709 rows, 1426 columns, 11260 nonzeros Variable types: 0 continuous, 1426 integer (1426 binary) Root relaxation: objective 0.000000e+00, 289 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 188 - 0.00000 - - 0s 0 0 0.00000 0 154 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 419 - 0.00000 - - 2s 0 0 0.00000 0 411 - 0.00000 - - 3s 0 0 0.00000 0 413 - 0.00000 - - 4s 0 0 0.00000 0 401 - 0.00000 - - 5s 0 0 0.00000 0 402 - 0.00000 - - 6s 0 0 0.00000 0 394 - 0.00000 - - 7s 0 0 0.00000 0 391 - 0.00000 - - 8s 0 0 0.00000 0 397 - 0.00000 - - 10s 0 0 0.00000 0 395 - 0.00000 - - 11s 0 0 0.00000 0 394 - 0.00000 - - 12s 0 0 0.00000 0 402 - 0.00000 - - 12s 0 0 0.00000 0 402 - 0.00000 - - 13s 0 2 0.00000 0 402 - 0.00000 - - 14s Cutting planes: Clique: 9 Zero half: 15 Explored 13 nodes (52242 simplex iterations) in 14.74 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:22:32 2012 Optimize a model with 5497 rows, 1692 columns and 16890 nonzeros Presolve time: 0.01s Presolved: 5497 rows, 1692 columns, 16890 nonzeros Variable types: 0 continuous, 1692 integer (1692 binary) Root relaxation: objective 0.000000e+00, 292 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 202 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 8 Clique: 56 Zero half: 88 Explored 0 nodes (3749 simplex iterations) in 0.35 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 04:22:32 2012 Optimize a model with 4603 rows, 1559 columns and 14075 nonzeros Presolve time: 0.01s Presolved: 4603 rows, 1559 columns, 14075 nonzeros Variable types: 0 continuous, 1559 integer (1559 binary) Root relaxation: objective 0.000000e+00, 285 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 252 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 0s 0 0 0.00000 0 383 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 355 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 369 - 0.00000 - - 2s 0 0 0.00000 0 361 - 0.00000 - - 2s 0 0 0.00000 0 359 - 0.00000 - - 3s 0 0 0.00000 0 297 - 0.00000 - - 4s 0 0 0.00000 0 274 - 0.00000 - - 5s 0 0 0.00000 0 327 - 0.00000 - - 6s 0 0 0.00000 0 301 - 0.00000 - - 7s 0 0 0.00000 0 307 - 0.00000 - - 7s 0 0 0.00000 0 375 - 0.00000 - - 8s 0 0 0.00000 0 375 - 0.00000 - - 8s 0 2 0.00000 0 375 - 0.00000 - - 9s 8 8 0.00000 7 290 - 0.00000 - 659 10s 487 85 0.00000 15 214 - 0.00000 - 138 15s 1174 70 infeasible 18 - 0.00000 - 119 20s 1213 77 0.00000 17 377 - 0.00000 - 118 25s 1216 79 0.00000 17 355 - 0.00000 - 118 30s 1222 83 0.00000 12 303 - 0.00000 - 117 35s 1293 87 0.00000 22 293 - 0.00000 - 157 40s 1514 30 infeasible 22 - 0.00000 - 173 45s 1763 24 infeasible 22 - 0.00000 - 184 50s 1983 26 0.00000 28 276 - 0.00000 - 194 55s 2222 111 0.00000 27 289 - 0.00000 - 199 60s 2417 134 0.00000 27 311 - 0.00000 - 207 65s 2639 160 0.00000 32 249 - 0.00000 - 214 70s 2869 146 infeasible 29 - 0.00000 - 218 75s 3084 161 infeasible 29 - 0.00000 - 221 80s 3266 141 infeasible 34 - 0.00000 - 227 85s 3494 157 0.00000 30 283 - 0.00000 - 229 90s 3691 156 0.00000 29 286 - 0.00000 - 233 95s 3898 191 0.00000 28 228 - 0.00000 - 236 100s 4102 189 0.00000 25 296 - 0.00000 - 238 105s 4291 176 infeasible 28 - 0.00000 - 241 110s 4483 182 infeasible 28 - 0.00000 - 244 115s 4685 184 0.00000 32 294 - 0.00000 - 246 120s 4876 187 infeasible 30 - 0.00000 - 248 125s 5064 177 infeasible 26 - 0.00000 - 250 130s 5257 176 infeasible 27 - 0.00000 - 252 135s 5467 172 0.00000 28 236 - 0.00000 - 254 140s 5665 166 infeasible 31 - 0.00000 - 255 145s 5858 157 0.00000 30 311 - 0.00000 - 257 150s 6097 178 0.00000 25 301 - 0.00000 - 257 155s 6280 163 infeasible 30 - 0.00000 - 258 160s 6466 165 infeasible 32 - 0.00000 - 260 165s 6671 158 0.00000 23 312 - 0.00000 - 261 170s 6868 155 0.00000 23 297 - 0.00000 - 262 175s 7076 147 infeasible 28 - 0.00000 - 263 180s 7273 158 0.00000 31 287 - 0.00000 - 264 185s 7497 164 infeasible 28 - 0.00000 - 264 190s 7714 163 0.00000 31 285 - 0.00000 - 265 195s 7944 175 0.00000 24 303 - 0.00000 - 265 200s 8183 194 infeasible 26 - 0.00000 - 265 205s 8415 188 0.00000 32 296 - 0.00000 - 265 210s 8621 170 infeasible 30 - 0.00000 - 266 215s 8805 152 infeasible 30 - 0.00000 - 267 220s 8997 156 infeasible 28 - 0.00000 - 268 225s 9204 157 0.00000 35 269 - 0.00000 - 268 230s 9418 159 0.00000 33 216 - 0.00000 - 269 235s 9592 155 0.00000 29 283 - 0.00000 - 270 240s 9789 138 infeasible 26 - 0.00000 - 270 245s 9967 144 infeasible 31 - 0.00000 - 271 250s 10158 139 0.00000 23 300 - 0.00000 - 272 255s 10322 129 infeasible 26 - 0.00000 - 273 260s 10516 121 infeasible 33 - 0.00000 - 273 265s 10708 111 0.00000 26 238 - 0.00000 - 274 270s 10892 139 0.00000 35 278 - 0.00000 - 275 275s 11098 137 0.00000 30 282 - 0.00000 - 275 280s Cutting planes: Clique: 4 Zero half: 9 Explored 11165 nodes (3108680 simplex iterations) in 281.43 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6