Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:08:43 2012 Optimize a model with 4263 rows, 131 columns and 8526 nonzeros Presolve removed 3069 rows and 0 columns Presolve time: 0.15s Presolved: 1194 rows, 131 columns, 8447 nonzeros Variable types: 0 continuous, 131 integer (131 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.725137e+01, 555 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.25137 0 128 7.00000 17.25137 146% - 0s 0 0 16.88337 0 131 7.00000 16.88337 141% - 0s 0 0 16.82208 0 131 7.00000 16.82208 140% - 0s H 0 0 8.0000000 16.82208 110% - 0s 0 0 16.76206 0 130 8.00000 16.76206 110% - 0s 0 0 16.69215 0 131 8.00000 16.69215 109% - 0s 0 0 16.61333 0 130 8.00000 16.61333 108% - 1s 0 0 16.57526 0 129 8.00000 16.57526 107% - 1s H 0 0 10.0000000 16.57526 65.8% - 1s 0 0 16.56580 0 131 10.00000 16.56580 65.7% - 1s 0 0 16.56304 0 131 10.00000 16.56304 65.6% - 1s 0 0 16.56292 0 131 10.00000 16.56292 65.6% - 1s 0 0 16.56093 0 131 10.00000 16.56093 65.6% - 2s 0 0 16.56054 0 131 10.00000 16.56054 65.6% - 2s 0 0 16.56047 0 131 10.00000 16.56047 65.6% - 2s 0 2 16.55971 0 131 10.00000 16.55971 65.6% - 2s 336 102 11.38525 3 41 10.00000 13.75431 37.5% 77.9 5s Cutting planes: Clique: 118 Explored 501 nodes (38686 simplex iterations) in 5.85 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%