Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:06:31 2012 Optimize a model with 4175 rows, 129 columns and 8350 nonzeros Presolve removed 2999 rows and 0 columns Presolve time: 0.15s Presolved: 1176 rows, 129 columns, 8301 nonzeros Variable types: 0 continuous, 129 integer (129 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.672385e+01, 577 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.72385 0 127 6.00000 16.72385 179% - 0s H 0 0 9.0000000 16.72385 85.8% - 0s 0 0 16.44784 0 128 9.00000 16.44784 82.8% - 0s 0 0 16.37941 0 128 9.00000 16.37941 82.0% - 0s 0 0 16.35534 0 129 9.00000 16.35534 81.7% - 0s 0 0 16.31086 0 128 9.00000 16.31086 81.2% - 0s 0 0 16.30406 0 128 9.00000 16.30406 81.2% - 1s 0 0 16.29137 0 129 9.00000 16.29137 81.0% - 1s H 0 0 10.0000000 16.29137 62.9% - 1s 0 0 16.27354 0 129 10.00000 16.27354 62.7% - 1s 0 0 16.26815 0 129 10.00000 16.26815 62.7% - 1s 0 0 16.26447 0 129 10.00000 16.26447 62.6% - 1s 0 0 16.26425 0 129 10.00000 16.26425 62.6% - 2s 0 0 16.26423 0 129 10.00000 16.26423 62.6% - 2s 0 2 16.26405 0 129 10.00000 16.26405 62.6% - 2s 382 18 cutoff 18 10.00000 11.73564 17.4% 76.7 5s Cutting planes: Clique: 94 Explored 401 nodes (30883 simplex iterations) in 5.04 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%