Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:35:48 2012 Optimize a model with 5246 rows, 145 columns and 10492 nonzeros Presolve removed 3828 rows and 0 columns Presolve time: 0.21s Presolved: 1418 rows, 145 columns, 10217 nonzeros Variable types: 0 continuous, 145 integer (145 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.837238e+01, 650 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.37238 0 140 7.00000 18.37238 162% - 0s H 0 0 9.0000000 18.37238 104% - 0s 0 0 18.00813 0 145 9.00000 18.00813 100% - 0s 0 0 17.86475 0 142 9.00000 17.86475 98.5% - 0s 0 0 17.83500 0 145 9.00000 17.83500 98.2% - 0s 0 0 17.82187 0 145 9.00000 17.82187 98.0% - 1s 0 0 17.79509 0 143 9.00000 17.79509 97.7% - 1s 0 0 17.78290 0 145 9.00000 17.78290 97.6% - 1s H 0 0 10.0000000 17.78290 77.8% - 1s 0 0 17.78010 0 145 10.00000 17.78010 77.8% - 1s 0 0 17.77831 0 144 10.00000 17.77831 77.8% - 1s 0 0 17.77722 0 145 10.00000 17.77722 77.8% - 2s 0 0 17.77697 0 145 10.00000 17.77697 77.8% - 2s 0 0 17.77684 0 145 10.00000 17.77684 77.8% - 2s 0 2 17.77028 0 145 10.00000 17.77028 77.7% - 2s 292 177 13.33686 10 66 10.00000 16.44358 64.4% 79.5 5s 837 222 11.21065 8 39 10.00000 13.47753 34.8% 72.8 10s Cutting planes: Clique: 112 Explored 1173 nodes (81929 simplex iterations) in 12.67 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%