Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:13:23 2012 Optimize a model with 4506 rows, 134 columns and 9012 nonzeros Presolve removed 3240 rows and 0 columns Presolve time: 0.16s Presolved: 1266 rows, 134 columns, 9016 nonzeros Variable types: 0 continuous, 134 integer (134 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.734026e+01, 595 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.34026 0 129 7.00000 17.34026 148% - 0s H 0 0 8.0000000 17.34026 117% - 0s 0 0 16.84548 0 132 8.00000 16.84548 111% - 0s 0 0 16.64852 0 133 8.00000 16.64852 108% - 0s 0 0 16.55474 0 134 8.00000 16.55474 107% - 0s H 0 0 9.0000000 16.55474 83.9% - 0s 0 0 16.52571 0 133 9.00000 16.52571 83.6% - 0s 0 0 16.51570 0 134 9.00000 16.51570 83.5% - 1s 0 0 16.50648 0 134 9.00000 16.50648 83.4% - 1s 0 0 16.49844 0 134 9.00000 16.49844 83.3% - 1s 0 0 16.49697 0 134 9.00000 16.49697 83.3% - 1s 0 0 16.49458 0 134 9.00000 16.49458 83.3% - 1s 0 0 16.49124 0 134 9.00000 16.49124 83.2% - 2s 0 0 16.48017 0 134 9.00000 16.48017 83.1% - 2s 0 0 16.46801 0 134 9.00000 16.46801 83.0% - 2s 0 0 16.46776 0 134 9.00000 16.46776 83.0% - 2s 0 0 16.46764 0 134 9.00000 16.46764 83.0% - 2s 0 2 16.46162 0 134 9.00000 16.46162 82.9% - 3s 247 162 12.16669 10 53 9.00000 15.25937 69.5% 71.2 5s 601 258 12.28320 20 134 9.00000 13.15024 46.1% 64.7 10s 727 302 cutoff 68 9.00000 13.15024 46.1% 87.7 15s * 831 251 34 10.0000000 13.15024 31.5% 82.1 15s Cutting planes: Clique: 65 Explored 1280 nodes (85316 simplex iterations) in 16.67 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%