current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:09:57 2012 Optimize a model with 65481 rows, 10469 columns and 205551 nonzeros Presolve time: 0.20s Presolved: 65481 rows, 10469 columns, 205551 nonzeros Variable types: 0 continuous, 10469 integer (10469 binary) Root relaxation: objective 0.000000e+00, 360 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 (683 simplex iterations) in 0.36 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:09:58 2012 Optimize a model with 32336 rows, 5639 columns and 101286 nonzeros Presolve time: 0.15s Presolved: 32336 rows, 5639 columns, 101286 nonzeros Variable types: 0 continuous, 5639 integer (5639 binary) Root relaxation: objective 0.000000e+00, 434 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 (814 simplex iterations) in 0.23 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:09:59 2012 Optimize a model with 16237 rows, 3293 columns and 50643 nonzeros Presolve time: 0.05s Presolved: 16237 rows, 3293 columns, 50643 nonzeros Variable types: 0 continuous, 3293 integer (3293 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (573 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 09:09:59 2012 Optimize a model with 7714 rows, 2051 columns and 23832 nonzeros Presolve time: 0.02s Presolved: 7714 rows, 2051 columns, 23832 nonzeros Variable types: 0 continuous, 2051 integer (2051 binary) Root relaxation: objective 0.000000e+00, 304 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 (1152 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 09:09:59 2012 Optimize a model with 3926 rows, 1499 columns and 11916 nonzeros Presolve time: 0.01s Presolved: 3926 rows, 1499 columns, 11916 nonzeros Variable types: 0 continuous, 1499 integer (1499 binary) Root relaxation: objective 0.000000e+00, 291 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 272 - 0.00000 - - 0s 0 0 0.00000 0 257 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 446 - 0.00000 - - 2s 0 0 0.00000 0 423 - 0.00000 - - 3s 0 0 0.00000 0 439 - 0.00000 - - 4s 0 0 0.00000 0 431 - 0.00000 - - 6s 0 0 0.00000 0 420 - 0.00000 - - 8s 0 0 0.00000 0 419 - 0.00000 - - 9s 0 0 0.00000 0 415 - 0.00000 - - 11s 0 0 0.00000 0 413 - 0.00000 - - 12s 0 0 0.00000 0 420 - 0.00000 - - 13s 0 0 0.00000 0 420 - 0.00000 - - 14s 0 0 0.00000 0 412 - 0.00000 - - 15s 0 2 0.00000 0 412 - 0.00000 - - 16s Cutting planes: Clique: 28 Zero half: 9 Explored 9 nodes (55768 simplex iterations) in 16.75 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 09:10:16 2012 Optimize a model with 5820 rows, 1775 columns and 17874 nonzeros Presolve time: 0.02s Presolved: 5820 rows, 1775 columns, 17874 nonzeros Variable types: 0 continuous, 1775 integer (1775 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.00000 0 134 - 0.00000 - - 0s 0 0 0.00000 0 119 - 0.00000 - - 0s 0 0 0.00000 0 203 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (10735 simplex iterations) in 1.16 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 09:10:18 2012 Optimize a model with 4873 rows, 1637 columns and 14895 nonzeros Presolve time: 0.01s Presolved: 4873 rows, 1637 columns, 14895 nonzeros Variable types: 0 continuous, 1637 integer (1637 binary) Root relaxation: objective 0.000000e+00, 287 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 272 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 5s 0 0 0.00000 0 343 - 0.00000 - - 6s 0 0 0.00000 0 365 - 0.00000 - - 6s 0 0 0.00000 0 365 - 0.00000 - - 7s 0 2 0.00000 0 365 - 0.00000 - - 8s 118 22 infeasible 17 - 0.00000 - 171 10s 517 67 0.00000 12 320 - 0.00000 - 149 15s 605 81 0.00000 15 314 - 0.00000 - 150 21s 607 82 0.00000 12 325 - 0.00000 - 149 25s 610 84 0.00000 15 327 - 0.00000 - 149 31s 614 87 0.00000 12 307 - 0.00000 - 148 35s 763 80 0.00000 33 304 - 0.00000 - 229 40s 923 44 0.00000 23 337 - 0.00000 - 242 45s 1069 38 infeasible 25 - 0.00000 - 254 50s 1233 66 infeasible 31 - 0.00000 - 260 55s 1397 64 0.00000 26 324 - 0.00000 - 266 60s 1556 75 infeasible 27 - 0.00000 - 270 65s 1693 92 infeasible 31 - 0.00000 - 276 70s 1839 102 infeasible 33 - 0.00000 - 280 75s 1980 115 0.00000 25 314 - 0.00000 - 284 80s 2111 114 infeasible 30 - 0.00000 - 290 85s 2216 107 infeasible 25 - 0.00000 - 297 90s 2359 102 infeasible 27 - 0.00000 - 300 95s 2499 90 0.00000 28 326 - 0.00000 - 303 100s 2622 79 infeasible 27 - 0.00000 - 308 105s 2760 87 0.00000 31 331 - 0.00000 - 309 110s 2878 65 infeasible 32 - 0.00000 - 313 115s 3031 76 infeasible 32 - 0.00000 - 314 120s 3177 82 0.00000 33 276 - 0.00000 - 315 125s 3309 70 infeasible 26 - 0.00000 - 317 130s 3426 53 infeasible 25 - 0.00000 - 321 135s 3581 52 infeasible 25 - 0.00000 - 321 140s 3722 55 infeasible 36 - 0.00000 - 322 145s 3868 43 0.00000 24 330 - 0.00000 - 323 150s 3988 33 0.00000 29 319 - 0.00000 - 325 155s 4139 28 0.00000 29 325 - 0.00000 - 324 160s 4273 38 infeasible 27 - 0.00000 - 325 165s 4411 52 infeasible 31 - 0.00000 - 326 170s 4524 49 infeasible 27 - 0.00000 - 328 175s 4659 52 0.00000 21 335 - 0.00000 - 328 180s 4787 38 infeasible 28 - 0.00000 - 329 185s 4933 58 infeasible 36 - 0.00000 - 329 190s 5049 44 infeasible 26 - 0.00000 - 331 195s 5196 51 infeasible 28 - 0.00000 - 331 200s 5311 44 infeasible 29 - 0.00000 - 333 205s 5435 52 infeasible 26 - 0.00000 - 333 210s 5552 51 infeasible 33 - 0.00000 - 335 215s 5670 53 0.00000 26 349 - 0.00000 - 336 220s 5789 52 infeasible 26 - 0.00000 - 338 225s 5915 60 0.00000 32 307 - 0.00000 - 338 230s 6039 54 0.00000 24 342 - 0.00000 - 339 235s 6168 47 infeasible 28 - 0.00000 - 340 240s 6301 56 0.00000 30 308 - 0.00000 - 340 245s 6452 49 infeasible 29 - 0.00000 - 340 250s 6611 54 0.00000 32 292 - 0.00000 - 339 255s 6750 43 infeasible 23 - 0.00000 - 340 260s 6869 48 infeasible 28 - 0.00000 - 341 265s 6977 38 infeasible 29 - 0.00000 - 342 270s 7074 29 0.00000 32 325 - 0.00000 - 344 275s Cutting planes: Gomory: 1 Clique: 5 Zero half: 16 Explored 7161 nodes (2504071 simplex iterations) in 278.31 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