current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:05:04 2012 Optimize a model with 73131 rows, 11181 columns and 229117 nonzeros Presolve time: 0.20s Presolved: 73131 rows, 11181 columns, 229117 nonzeros Variable types: 0 continuous, 11181 integer (11181 binary) Root relaxation: objective 0.000000e+00, 376 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 (766 simplex iterations) in 0.39 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:05:05 2012 Optimize a model with 36123 rows, 6033 columns and 112945 nonzeros Presolve time: 0.16s Presolved: 36123 rows, 6033 columns, 112945 nonzeros Variable types: 0 continuous, 6033 integer (6033 binary) Root relaxation: objective 0.000000e+00, 341 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 (758 simplex iterations) in 0.25 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 13:05:06 2012 Optimize a model with 17619 rows, 3459 columns and 54859 nonzeros Presolve time: 0.06s Presolved: 17619 rows, 3459 columns, 54859 nonzeros Variable types: 0 continuous, 3459 integer (3459 binary) Root relaxation: objective 0.000000e+00, 432 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 (1169 simplex iterations) in 0.13 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 13:05:06 2012 Optimize a model with 8367 rows, 2172 columns and 25816 nonzeros Presolve time: 0.02s Presolved: 8367 rows, 2172 columns, 25816 nonzeros Variable types: 0 continuous, 2172 integer (2172 binary) Root relaxation: objective 0.000000e+00, 307 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 (1035 simplex iterations) in 0.06 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 13:05:07 2012 Optimize a model with 4255 rows, 1600 columns and 12908 nonzeros Presolve time: 0.01s Presolved: 4255 rows, 1600 columns, 12908 nonzeros Variable types: 0 continuous, 1600 integer (1600 binary) Root relaxation: objective 0.000000e+00, 302 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 286 - 0.00000 - - 0s 0 0 0.00000 0 311 - 0.00000 - - 0s 0 0 0.00000 0 448 - 0.00000 - - 1s 0 0 0.00000 0 469 - 0.00000 - - 2s 0 0 0.00000 0 460 - 0.00000 - - 3s 0 0 0.00000 0 454 - 0.00000 - - 5s 0 0 0.00000 0 448 - 0.00000 - - 6s 0 0 0.00000 0 452 - 0.00000 - - 7s 0 0 0.00000 0 451 - 0.00000 - - 8s 0 0 0.00000 0 446 - 0.00000 - - 11s 0 0 0.00000 0 435 - 0.00000 - - 12s 0 0 0.00000 0 449 - 0.00000 - - 13s 0 0 0.00000 0 450 - 0.00000 - - 13s 0 0 0.00000 0 448 - 0.00000 - - 14s 0 2 0.00000 0 437 - 0.00000 - - 15s Cutting planes: Clique: 33 Zero half: 30 Explored 23 nodes (67707 simplex iterations) in 16.80 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 13:05:24 2012 Optimize a model with 6311 rows, 1886 columns and 19362 nonzeros Presolve time: 0.02s Presolved: 6311 rows, 1886 columns, 19362 nonzeros Variable types: 0 continuous, 1886 integer (1886 binary) Root relaxation: objective 0.000000e+00, 307 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 153 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 8 Clique: 37 Zero half: 125 Explored 0 nodes (6749 simplex iterations) in 0.74 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 13:05:24 2012 Optimize a model with 5283 rows, 1743 columns and 16135 nonzeros Presolve time: 0.01s Presolved: 5283 rows, 1743 columns, 16135 nonzeros Variable types: 0 continuous, 1743 integer (1743 binary) Root relaxation: objective 0.000000e+00, 308 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 284 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 3s 0 0 0.00000 0 301 - 0.00000 - - 5s 0 0 0.00000 0 306 - 0.00000 - - 6s 0 0 0.00000 0 303 - 0.00000 - - 7s 0 0 0.00000 0 304 - 0.00000 - - 8s 0 0 0.00000 0 333 - 0.00000 - - 9s 0 0 0.00000 0 316 - 0.00000 - - 11s 0 0 0.00000 0 314 - 0.00000 - - 12s 0 0 0.00000 0 317 - 0.00000 - - 13s 0 0 0.00000 0 317 - 0.00000 - - 13s 0 2 0.00000 0 317 - 0.00000 - - 14s 8 8 0.00000 7 367 - 0.00000 - 578 15s 291 31 0.00000 25 306 - 0.00000 - 167 20s 631 20 infeasible 16 - 0.00000 - 159 25s 705 32 0.00000 22 293 - 0.00000 - 160 31s 707 33 0.00000 3 310 - 0.00000 - 159 35s 717 40 0.00000 17 360 - 0.00000 - 212 40s 845 48 0.00000 32 321 - 0.00000 - 231 45s 961 48 0.00000 30 333 - 0.00000 - 249 50s 1095 48 0.00000 29 322 - 0.00000 - 261 55s 1222 65 infeasible 35 - 0.00000 - 271 60s 1344 67 infeasible 38 - 0.00000 - 281 65s 1461 62 infeasible 34 - 0.00000 - 290 70s 1605 78 infeasible 34 - 0.00000 - 292 75s 1726 63 0.00000 31 294 - 0.00000 - 298 80s 1856 65 infeasible 34 - 0.00000 - 302 85s 1958 57 infeasible 35 - 0.00000 - 309 90s 2072 61 0.00000 33 334 - 0.00000 - 314 95s 2214 73 infeasible 34 - 0.00000 - 316 100s 2343 70 infeasible 30 - 0.00000 - 318 105s 2491 76 infeasible 39 - 0.00000 - 319 110s 2628 73 0.00000 33 319 - 0.00000 - 321 115s 2773 70 infeasible 36 - 0.00000 - 321 120s 2904 79 infeasible 36 - 0.00000 - 323 125s 3024 87 0.00000 33 330 - 0.00000 - 325 130s 3149 78 infeasible 37 - 0.00000 - 327 135s 3266 75 0.00000 36 315 - 0.00000 - 329 140s 3423 70 0.00000 28 318 - 0.00000 - 328 145s 3564 67 0.00000 26 295 - 0.00000 - 329 150s 3677 56 infeasible 29 - 0.00000 - 331 155s 3801 56 0.00000 31 342 - 0.00000 - 333 160s 3926 53 infeasible 35 - 0.00000 - 334 165s 4075 54 infeasible 36 - 0.00000 - 333 170s 4216 53 0.00000 29 334 - 0.00000 - 333 175s 4359 64 0.00000 33 294 - 0.00000 - 333 180s 4482 59 0.00000 32 318 - 0.00000 - 334 185s 4612 61 infeasible 30 - 0.00000 - 335 190s 4737 54 0.00000 31 321 - 0.00000 - 336 195s 4873 68 0.00000 32 282 - 0.00000 - 336 200s 4994 69 infeasible 34 - 0.00000 - 337 205s 5119 68 infeasible 29 - 0.00000 - 338 210s 5238 73 infeasible 32 - 0.00000 - 339 215s 5355 70 0.00000 30 312 - 0.00000 - 340 220s 5468 69 0.00000 28 339 - 0.00000 - 341 225s 5589 68 0.00000 29 331 - 0.00000 - 342 230s 5710 59 0.00000 27 327 - 0.00000 - 343 235s 5846 69 0.00000 35 324 - 0.00000 - 343 240s 5980 81 infeasible 35 - 0.00000 - 343 245s 6106 75 infeasible 34 - 0.00000 - 344 250s 6234 71 infeasible 31 - 0.00000 - 344 255s 6365 68 infeasible 29 - 0.00000 - 344 260s 6497 74 infeasible 33 - 0.00000 - 344 265s 6618 77 infeasible 35 - 0.00000 - 345 270s 6724 67 0.00000 27 327 - 0.00000 - 346 275s Cutting planes: Clique: 7 Zero half: 4 Explored 6813 nodes (2426914 simplex iterations) in 278.27 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