current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:02:15 2012 Optimize a model with 58411 rows, 9661 columns and 183612 nonzeros Presolve time: 0.18s Presolved: 58411 rows, 9661 columns, 183612 nonzeros Variable types: 0 continuous, 9661 integer (9661 binary) Root relaxation: objective 0.000000e+00, 357 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 (667 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 05:02:16 2012 Optimize a model with 29272 rows, 5272 columns and 91806 nonzeros Presolve time: 0.13s Presolved: 29272 rows, 5272 columns, 91806 nonzeros Variable types: 0 continuous, 5272 integer (5272 binary) Root relaxation: objective 0.000000e+00, 322 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 (617 simplex iterations) in 0.20 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 05:02:17 2012 Optimize a model with 14261 rows, 3011 columns and 44512 nonzeros Presolve time: 0.05s Presolved: 14261 rows, 3011 columns, 44512 nonzeros Variable types: 0 continuous, 3011 integer (3011 binary) Root relaxation: objective 0.000000e+00, 272 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 (775 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 05:02:17 2012 Optimize a model with 7197 rows, 1947 columns and 22256 nonzeros Presolve time: 0.02s Presolved: 7197 rows, 1947 columns, 22256 nonzeros Variable types: 0 continuous, 1947 integer (1947 binary) Root relaxation: objective 0.000000e+00, 274 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 (939 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:02:17 2012 Optimize a model with 3665 rows, 1415 columns and 11128 nonzeros Presolve time: 0.01s Presolved: 3665 rows, 1415 columns, 11128 nonzeros Variable types: 0 continuous, 1415 integer (1415 binary) Root relaxation: objective 0.000000e+00, 301 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 266 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 400 - 0.00000 - - 2s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 405 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 4s 0 0 0.00000 0 401 - 0.00000 - - 5s 0 0 0.00000 0 400 - 0.00000 - - 6s 0 0 0.00000 0 397 - 0.00000 - - 7s 0 0 0.00000 0 397 - 0.00000 - - 8s 0 0 0.00000 0 397 - 0.00000 - - 9s 0 0 0.00000 0 397 - 0.00000 - - 10s 0 0 0.00000 0 397 - 0.00000 - - 11s 0 2 0.00000 0 397 - 0.00000 - - 12s Cutting planes: Clique: 17 Zero half: 27 Explored 51 nodes (53896 simplex iterations) in 14.32 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 05:02:32 2012 Optimize a model with 5431 rows, 1681 columns and 16692 nonzeros Presolve time: 0.01s Presolved: 5431 rows, 1681 columns, 16692 nonzeros Variable types: 0 continuous, 1681 integer (1681 binary) Root relaxation: objective 0.000000e+00, 280 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 95 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 29 MIR: 1 Zero half: 55 Explored 0 nodes (4442 simplex iterations) in 0.38 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 05:02:32 2012 Optimize a model with 4548 rows, 1548 columns and 13910 nonzeros Presolve time: 0.01s Presolved: 4548 rows, 1548 columns, 13910 nonzeros Variable types: 0 continuous, 1548 integer (1548 binary) Root relaxation: objective 0.000000e+00, 286 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 260 - 0.00000 - - 0s 0 0 0.00000 0 259 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 0 0.00000 0 339 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 3s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 382 - 0.00000 - - 4s 0 0 0.00000 0 382 - 0.00000 - - 5s 0 2 0.00000 0 382 - 0.00000 - - 5s 694 29 0.00000 25 258 - 0.00000 - 90.7 10s 906 32 0.00000 7 341 - 0.00000 - 91.3 16s 910 35 0.00000 21 342 - 0.00000 - 90.9 20s 1065 58 0.00000 34 277 - 0.00000 - 138 25s 1280 67 0.00000 30 291 - 0.00000 - 160 30s 1495 66 infeasible 40 - 0.00000 - 176 35s 1741 76 infeasible 32 - 0.00000 - 185 40s 1947 74 0.00000 39 277 - 0.00000 - 196 45s 2165 78 infeasible 35 - 0.00000 - 202 50s 2385 82 infeasible 29 - 0.00000 - 208 55s 2618 77 infeasible 28 - 0.00000 - 212 60s 2883 78 infeasible 33 - 0.00000 - 214 65s 3090 91 0.00000 36 265 - 0.00000 - 218 70s 3313 100 infeasible 35 - 0.00000 - 221 75s 3530 99 infeasible 39 - 0.00000 - 224 80s 3760 93 infeasible 34 - 0.00000 - 226 85s 3979 84 infeasible 33 - 0.00000 - 229 90s 4172 79 infeasible 33 - 0.00000 - 232 95s 4422 117 infeasible 38 - 0.00000 - 232 100s 4691 174 0.00000 34 290 - 0.00000 - 231 105s 4939 238 infeasible 40 - 0.00000 - 232 110s 5182 281 0.00000 30 280 - 0.00000 - 232 115s 5413 274 infeasible 37 - 0.00000 - 233 120s 5661 282 infeasible 39 - 0.00000 - 234 125s 5888 275 0.00000 37 279 - 0.00000 - 234 130s 6113 254 infeasible 41 - 0.00000 - 236 135s 6328 251 infeasible 37 - 0.00000 - 237 140s 6571 252 infeasible 38 - 0.00000 - 237 145s 6808 243 infeasible 33 - 0.00000 - 237 150s 7021 234 infeasible 38 - 0.00000 - 238 155s 7238 225 0.00000 33 297 - 0.00000 - 239 160s 7451 206 0.00000 34 267 - 0.00000 - 240 165s 7668 209 0.00000 35 271 - 0.00000 - 241 170s 7882 197 0.00000 40 216 - 0.00000 - 242 175s 8101 184 infeasible 37 - 0.00000 - 242 180s 8319 180 infeasible 38 - 0.00000 - 243 185s 8547 184 0.00000 42 228 - 0.00000 - 244 190s 8773 176 infeasible 39 - 0.00000 - 244 195s 8977 172 infeasible 37 - 0.00000 - 245 200s 9176 161 infeasible 40 - 0.00000 - 246 205s 9393 182 0.00000 29 218 - 0.00000 - 246 210s 9610 193 0.00000 32 279 - 0.00000 - 247 215s 9809 190 0.00000 29 295 - 0.00000 - 247 220s 10049 232 infeasible 38 - 0.00000 - 247 225s 10282 249 0.00000 33 298 - 0.00000 - 247 230s 10541 298 infeasible 37 - 0.00000 - 246 235s 10813 304 0.00000 35 288 - 0.00000 - 246 240s 11078 299 infeasible 35 - 0.00000 - 246 245s 11329 290 infeasible 37 - 0.00000 - 245 250s 11588 291 infeasible 37 - 0.00000 - 245 255s 11800 281 0.00000 34 271 - 0.00000 - 246 260s 12017 272 0.00000 33 261 - 0.00000 - 246 265s 12239 270 infeasible 38 - 0.00000 - 246 270s 12461 264 infeasible 45 - 0.00000 - 247 275s 12688 251 0.00000 33 303 - 0.00000 - 247 280s Cutting planes: Gomory: 2 Clique: 2 Zero half: 12 Explored 12757 nodes (3183851 simplex iterations) in 281.91 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