Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:22:10 2012 Optimize a model with 4851 rows, 139 columns and 9702 nonzeros Presolve removed 3496 rows and 0 columns Presolve time: 0.18s Presolved: 1355 rows, 139 columns, 9685 nonzeros Variable types: 0 continuous, 139 integer (139 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.754760e+01, 618 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.54760 0 138 8.00000 17.54760 119% - 0s 0 0 17.08412 0 139 8.00000 17.08412 114% - 0s 0 0 16.96582 0 139 8.00000 16.96582 112% - 0s H 0 0 9.0000000 16.96582 88.5% - 0s 0 0 16.91830 0 139 9.00000 16.91830 88.0% - 0s 0 0 16.86948 0 139 9.00000 16.86948 87.4% - 1s 0 0 16.84293 0 139 9.00000 16.84293 87.1% - 1s H 0 0 10.0000000 16.84293 68.4% - 1s 0 0 16.78238 0 139 10.00000 16.78238 67.8% - 1s 0 0 16.77250 0 138 10.00000 16.77250 67.7% - 1s 0 0 16.75299 0 139 10.00000 16.75299 67.5% - 1s 0 0 16.74998 0 139 10.00000 16.74998 67.5% - 2s 0 0 16.74962 0 139 10.00000 16.74962 67.5% - 2s 0 0 16.74951 0 139 10.00000 16.74951 67.5% - 2s 0 0 16.74795 0 139 10.00000 16.74795 67.5% - 2s 0 0 16.74795 0 139 10.00000 16.74795 67.5% - 2s 0 2 16.74737 0 139 10.00000 16.74737 67.5% - 3s 233 131 12.07676 13 63 10.00000 15.58077 55.8% 88.6 5s Cutting planes: Clique: 164 Explored 655 nodes (52489 simplex iterations) in 7.84 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%