current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:16:17 2012 Optimize a model with 68320 rows, 10774 columns and 214340 nonzeros Presolve time: 0.21s Presolved: 68320 rows, 10774 columns, 214340 nonzeros Variable types: 0 continuous, 10774 integer (10774 binary) Root relaxation: objective 0.000000e+00, 374 iterations, 0.08 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 (695 simplex iterations) in 0.37 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:16:19 2012 Optimize a model with 34230 rows, 5874 columns and 107170 nonzeros Presolve time: 0.16s Presolved: 34230 rows, 5874 columns, 107170 nonzeros Variable types: 0 continuous, 5874 integer (5874 binary) Root relaxation: objective 0.000000e+00, 422 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 (776 simplex iterations) in 0.24 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:16:19 2012 Optimize a model with 16698 rows, 3354 columns and 52054 nonzeros Presolve time: 0.06s Presolved: 16698 rows, 3354 columns, 52054 nonzeros Variable types: 0 continuous, 3354 integer (3354 binary) Root relaxation: objective 0.000000e+00, 282 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 (592 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:16:20 2012 Optimize a model with 7932 rows, 2094 columns and 24496 nonzeros Presolve time: 0.02s Presolved: 7932 rows, 2094 columns, 24496 nonzeros Variable types: 0 continuous, 2094 integer (2094 binary) Root relaxation: objective 0.000000e+00, 293 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 (1213 simplex iterations) in 0.08 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 10:16:20 2012 Optimize a model with 4036 rows, 1534 columns and 12248 nonzeros Presolve time: 0.01s Presolved: 4036 rows, 1534 columns, 12248 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 306 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 276 - 0.00000 - - 0s 0 0 0.00000 0 277 - 0.00000 - - 0s 0 0 0.00000 0 435 - 0.00000 - - 1s 0 0 0.00000 0 440 - 0.00000 - - 2s 0 0 0.00000 0 422 - 0.00000 - - 3s 0 0 0.00000 0 417 - 0.00000 - - 5s 0 0 0.00000 0 427 - 0.00000 - - 6s 0 0 0.00000 0 421 - 0.00000 - - 7s 0 0 0.00000 0 433 - 0.00000 - - 8s 0 0 0.00000 0 421 - 0.00000 - - 9s 0 0 0.00000 0 429 - 0.00000 - - 10s 0 0 0.00000 0 425 - 0.00000 - - 11s 0 2 0.00000 0 425 - 0.00000 - - 12s Cutting planes: Clique: 18 Zero half: 20 Explored 11 nodes (50348 simplex iterations) in 13.06 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 10:16:33 2012 Optimize a model with 5984 rows, 1814 columns and 18372 nonzeros Presolve time: 0.02s Presolved: 5984 rows, 1814 columns, 18372 nonzeros Variable types: 0 continuous, 1814 integer (1814 binary) Root relaxation: objective 0.000000e+00, 288 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 262 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (6914 simplex iterations) in 1.02 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 10:16:34 2012 Optimize a model with 5010 rows, 1674 columns and 15310 nonzeros Presolve time: 0.01s Presolved: 5010 rows, 1674 columns, 15310 nonzeros Variable types: 0 continuous, 1674 integer (1674 binary) Root relaxation: objective 0.000000e+00, 298 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 278 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 315 - 0.00000 - - 2s 0 0 0.00000 0 275 - 0.00000 - - 3s 0 0 0.00000 0 321 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 5s 0 0 0.00000 0 329 - 0.00000 - - 6s 0 0 0.00000 0 353 - 0.00000 - - 6s 0 0 0.00000 0 353 - 0.00000 - - 7s 0 2 0.00000 0 353 - 0.00000 - - 8s 90 38 0.00000 20 310 - 0.00000 - 200 10s 581 66 0.00000 22 285 - 0.00000 - 136 15s 605 70 0.00000 17 225 - 0.00000 - 135 20s 608 72 0.00000 8 219 - 0.00000 - 134 25s 613 75 infeasible 11 - 0.00000 - 204 30s 780 74 0.00000 31 321 - 0.00000 - 220 35s 969 123 0.00000 22 252 - 0.00000 - 230 40s 1130 156 infeasible 33 - 0.00000 - 244 45s 1305 157 infeasible 31 - 0.00000 - 253 50s 1493 177 infeasible 32 - 0.00000 - 257 55s 1672 176 infeasible 35 - 0.00000 - 263 60s 1818 164 infeasible 27 - 0.00000 - 271 65s 1975 183 0.00000 28 325 - 0.00000 - 276 70s 2125 203 infeasible 27 - 0.00000 - 280 75s 2269 193 infeasible 27 - 0.00000 - 286 80s 2421 177 0.00000 28 250 - 0.00000 - 290 85s 2583 205 infeasible 36 - 0.00000 - 292 90s 2742 206 infeasible 28 - 0.00000 - 294 95s 2930 204 0.00000 24 306 - 0.00000 - 294 100s 3151 205 infeasible 31 - 0.00000 - 293 105s 3333 203 infeasible 32 - 0.00000 - 293 110s 3506 194 0.00000 26 325 - 0.00000 - 293 115s 3662 208 infeasible 31 - 0.00000 - 295 120s 3814 228 infeasible 31 - 0.00000 - 296 125s 3972 240 0.00000 28 275 - 0.00000 - 298 130s 4113 235 0.00000 29 260 - 0.00000 - 300 135s 4283 243 0.00000 28 334 - 0.00000 - 300 140s 4444 250 infeasible 32 - 0.00000 - 301 145s 4627 253 infeasible 31 - 0.00000 - 301 150s 4785 239 0.00000 29 323 - 0.00000 - 302 155s 4947 247 infeasible 31 - 0.00000 - 303 160s 5082 246 infeasible 22 - 0.00000 - 304 165s 5219 265 infeasible 29 - 0.00000 - 306 170s 5355 261 0.00000 25 345 - 0.00000 - 308 175s 5513 255 infeasible 32 - 0.00000 - 308 180s 5670 260 0.00000 31 324 - 0.00000 - 309 185s 5823 263 0.00000 32 330 - 0.00000 - 310 190s 5997 257 0.00000 29 290 - 0.00000 - 310 195s 6142 252 0.00000 27 226 - 0.00000 - 311 200s 6288 234 infeasible 27 - 0.00000 - 312 205s 6436 230 0.00000 27 315 - 0.00000 - 313 210s 6595 235 0.00000 26 308 - 0.00000 - 313 215s 6746 242 infeasible 35 - 0.00000 - 314 220s 6911 241 infeasible 35 - 0.00000 - 314 225s 7070 244 0.00000 33 236 - 0.00000 - 314 230s 7220 244 infeasible 32 - 0.00000 - 315 235s 7370 232 infeasible 31 - 0.00000 - 316 240s 7540 236 infeasible 31 - 0.00000 - 316 245s 7735 253 infeasible 30 - 0.00000 - 315 250s 7920 270 0.00000 27 250 - 0.00000 - 315 255s 8091 275 infeasible 32 - 0.00000 - 315 260s 8256 268 0.00000 23 291 - 0.00000 - 315 265s 8445 279 0.00000 38 238 - 0.00000 - 314 270s 8631 271 0.00000 32 293 - 0.00000 - 314 275s 8787 277 0.00000 27 321 - 0.00000 - 314 280s Cutting planes: Clique: 7 Zero half: 18 Explored 8858 nodes (2822250 simplex iterations) in 281.97 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