Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:29:56 2012 Optimize a model with 5011 rows, 142 columns and 10022 nonzeros Presolve removed 3609 rows and 0 columns Presolve time: 0.19s Presolved: 1402 rows, 142 columns, 10026 nonzeros Variable types: 0 continuous, 142 integer (142 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.808748e+01, 645 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.08748 0 141 8.00000 18.08748 126% - 0s 0 0 17.69773 0 141 8.00000 17.69773 121% - 0s 0 0 17.65112 0 142 8.00000 17.65112 121% - 0s 0 0 17.63505 0 142 8.00000 17.63505 120% - 0s 0 0 17.62695 0 142 8.00000 17.62695 120% - 1s 0 0 17.62419 0 142 8.00000 17.62419 120% - 1s 0 0 17.61671 0 142 8.00000 17.61671 120% - 1s H 0 0 9.0000000 17.61671 95.7% - 1s 0 0 17.60007 0 142 9.00000 17.60007 95.6% - 1s 0 0 17.59554 0 142 9.00000 17.59554 95.5% - 1s H 0 0 10.0000000 17.59554 76.0% - 1s 0 0 17.59301 0 142 10.00000 17.59301 75.9% - 2s 0 0 17.59151 0 142 10.00000 17.59151 75.9% - 2s 0 0 17.58844 0 142 10.00000 17.58844 75.9% - 2s 0 0 17.58813 0 142 10.00000 17.58813 75.9% - 2s 0 0 17.58811 0 142 10.00000 17.58811 75.9% - 2s 0 2 17.58541 0 142 10.00000 17.58541 75.9% - 3s 194 131 cutoff 18 10.00000 16.66419 66.6% 87.6 5s 761 96 11.04444 5 28 10.00000 12.24895 22.5% 77.2 10s Cutting planes: Clique: 107 Explored 860 nodes (63972 simplex iterations) in 10.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%