Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:43:35 2012 Optimize a model with 956 rows, 63 columns and 1912 nonzeros Presolve removed 673 rows and 0 columns Presolve time: 0.02s Presolved: 283 rows, 63 columns, 1653 nonzeros Variable types: 0 continuous, 63 integer (63 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.086602e+01, 148 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 10.86602 0 59 7.00000 10.86602 55.2% - 0s H 0 0 8.0000000 10.86602 35.8% - 0s 0 0 10.57189 0 61 8.00000 10.57189 32.1% - 0s 0 0 10.47094 0 63 8.00000 10.47094 30.9% - 0s 0 0 10.44128 0 60 8.00000 10.44128 30.5% - 0s 0 0 10.42515 0 60 8.00000 10.42515 30.3% - 0s 0 0 10.39835 0 61 8.00000 10.39835 30.0% - 0s 0 0 10.38544 0 60 8.00000 10.38544 29.8% - 0s 0 0 10.38350 0 61 8.00000 10.38350 29.8% - 0s 0 2 10.38336 0 61 8.00000 10.38336 29.8% - 0s * 15 3 3 9.0000000 10.20756 13.4% 32.8 0s Cutting planes: Clique: 21 Zero half: 9 Explored 19 nodes (919 simplex iterations) in 0.13 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0%