current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:04:27 2012 Optimize a model with 75096 rows, 11409 columns and 235224 nonzeros Presolve time: 0.21s Presolved: 75096 rows, 11409 columns, 235224 nonzeros Variable types: 0 continuous, 11409 integer (11409 binary) Root relaxation: objective 0.000000e+00, 376 iterations, 0.09 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 (795 simplex iterations) in 0.41 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:04:28 2012 Optimize a model with 37620 rows, 6225 columns and 117612 nonzeros Presolve time: 0.15s Presolved: 37620 rows, 6225 columns, 117612 nonzeros Variable types: 0 continuous, 6225 integer (6225 binary) Root relaxation: objective 0.000000e+00, 448 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 (838 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:04:29 2012 Optimize a model with 18882 rows, 3633 columns and 58806 nonzeros Presolve time: 0.07s Presolved: 18882 rows, 3633 columns, 58806 nonzeros Variable types: 0 continuous, 3633 integer (3633 binary) Root relaxation: objective 0.000000e+00, 425 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 (851 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:04:30 2012 Optimize a model with 9513 rows, 2337 columns and 29403 nonzeros Presolve time: 0.03s Presolved: 9513 rows, 2337 columns, 29403 nonzeros Variable types: 0 continuous, 2337 integer (2337 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1063 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:04:30 2012 Optimize a model with 4308 rows, 1617 columns and 13068 nonzeros Presolve time: 0.01s Presolved: 4308 rows, 1617 columns, 13068 nonzeros Variable types: 0 continuous, 1617 integer (1617 binary) Root relaxation: objective 0.000000e+00, 322 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 288 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 461 - 0.00000 - - 2s 0 0 0.00000 0 460 - 0.00000 - - 2s 0 0 0.00000 0 478 - 0.00000 - - 2s 0 0 0.00000 0 456 - 0.00000 - - 3s 0 0 0.00000 0 452 - 0.00000 - - 5s 0 0 0.00000 0 454 - 0.00000 - - 6s 0 0 0.00000 0 453 - 0.00000 - - 7s 0 0 0.00000 0 448 - 0.00000 - - 8s 0 0 0.00000 0 449 - 0.00000 - - 9s 0 0 0.00000 0 457 - 0.00000 - - 9s 0 0 0.00000 0 445 - 0.00000 - - 11s 0 0 0.00000 0 435 - 0.00000 - - 12s 0 0 0.00000 0 439 - 0.00000 - - 13s 0 0 0.00000 0 439 - 0.00000 - - 14s 0 2 0.00000 0 439 - 0.00000 - - 15s Cutting planes: Clique: 16 Zero half: 13 Explored 13 nodes (67437 simplex iterations) in 16.30 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:04:46 2012 Optimize a model with 6390 rows, 1905 columns and 19602 nonzeros Presolve time: 0.02s Presolved: 6390 rows, 1905 columns, 19602 nonzeros Variable types: 0 continuous, 1905 integer (1905 binary) Root relaxation: objective 0.000000e+00, 295 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 274 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (9049 simplex iterations) in 1.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:04:47 2012 Optimize a model with 5349 rows, 1761 columns and 16335 nonzeros Presolve time: 0.01s Presolved: 5349 rows, 1761 columns, 16335 nonzeros Variable types: 0 continuous, 1761 integer (1761 binary) Root relaxation: objective 0.000000e+00, 311 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 293 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 2s 0 0 0.00000 0 423 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 327 - 0.00000 - - 5s 0 0 0.00000 0 331 - 0.00000 - - 6s 0 0 0.00000 0 321 - 0.00000 - - 7s 0 0 0.00000 0 323 - 0.00000 - - 8s 0 0 0.00000 0 323 - 0.00000 - - 9s 0 2 0.00000 0 323 - 0.00000 - - 10s 192 40 0.00000 21 327 - 0.00000 - 205 15s 482 53 0.00000 25 236 - 0.00000 - 184 20s 605 65 0.00000 22 325 - 0.00000 - 172 27s 606 65 0.00000 8 306 - 0.00000 - 172 30s 610 68 0.00000 13 314 - 0.00000 - 171 36s 612 69 0.00000 18 218 - 0.00000 - 170 40s 614 71 0.00000 26 317 - 0.00000 - 170 45s 623 77 0.00000 15 348 - 0.00000 - 267 50s 699 73 0.00000 21 341 - 0.00000 - 273 55s 830 39 0.00000 20 348 - 0.00000 - 280 60s 973 77 0.00000 23 335 - 0.00000 - 283 65s 1113 79 infeasible 30 - 0.00000 - 288 70s 1234 82 infeasible 25 - 0.00000 - 295 75s 1361 93 infeasible 25 - 0.00000 - 301 80s 1484 104 0.00000 29 316 - 0.00000 - 304 85s 1621 115 infeasible 24 - 0.00000 - 306 90s 1748 116 0.00000 25 342 - 0.00000 - 310 95s 1847 117 0.00000 28 330 - 0.00000 - 316 100s 1978 106 0.00000 20 345 - 0.00000 - 319 105s 2107 123 0.00000 30 315 - 0.00000 - 321 110s 2231 127 infeasible 25 - 0.00000 - 324 115s 2369 123 infeasible 29 - 0.00000 - 326 120s 2508 144 0.00000 24 336 - 0.00000 - 326 125s 2648 156 0.00000 19 346 - 0.00000 - 326 130s 2788 182 infeasible 29 - 0.00000 - 326 135s 2913 193 0.00000 27 335 - 0.00000 - 328 140s 3018 186 infeasible 26 - 0.00000 - 332 145s 3141 183 infeasible 26 - 0.00000 - 334 150s 3270 182 0.00000 31 337 - 0.00000 - 335 155s 3399 181 0.00000 24 338 - 0.00000 - 336 160s 3519 183 0.00000 26 315 - 0.00000 - 337 165s 3646 178 infeasible 22 - 0.00000 - 338 170s 3769 179 infeasible 27 - 0.00000 - 339 175s 3894 164 infeasible 25 - 0.00000 - 340 180s 4007 157 infeasible 28 - 0.00000 - 341 185s 4121 169 0.00000 26 343 - 0.00000 - 343 190s 4244 168 infeasible 28 - 0.00000 - 344 195s 4367 173 0.00000 25 357 - 0.00000 - 344 200s 4471 173 0.00000 28 340 - 0.00000 - 347 205s 4600 176 0.00000 28 285 - 0.00000 - 347 210s 4734 174 0.00000 30 346 - 0.00000 - 347 215s 4848 166 0.00000 29 332 - 0.00000 - 349 220s 4968 164 infeasible 25 - 0.00000 - 349 225s 5093 171 infeasible 30 - 0.00000 - 349 230s 5207 163 infeasible 29 - 0.00000 - 350 235s 5335 171 0.00000 28 329 - 0.00000 - 350 240s 5463 173 infeasible 29 - 0.00000 - 351 245s 5609 183 0.00000 31 328 - 0.00000 - 351 250s 5737 173 infeasible 33 - 0.00000 - 351 255s 5852 166 infeasible 29 - 0.00000 - 352 260s 5982 168 infeasible 31 - 0.00000 - 352 265s 6122 164 infeasible 36 - 0.00000 - 352 270s 6242 176 0.00000 29 350 - 0.00000 - 352 275s Cutting planes: Clique: 10 Zero half: 12 Explored 6330 nodes (2275079 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