Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:10:00 2012 Optimize a model with 5839 rows, 153 columns and 11678 nonzeros Presolve removed 4254 rows and 0 columns Presolve time: 0.23s Presolved: 1585 rows, 153 columns, 11648 nonzeros Variable types: 0 continuous, 153 integer (153 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.916480e+01, 769 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.16480 0 150 7.00000 19.16480 174% - 0s 0 0 18.57076 0 153 7.00000 18.57076 165% - 0s H 0 0 8.0000000 18.57076 132% - 0s 0 0 18.46206 0 153 8.00000 18.46206 131% - 0s H 0 0 9.0000000 18.46206 105% - 0s 0 0 18.41954 0 151 9.00000 18.41954 105% - 1s 0 0 18.40143 0 152 9.00000 18.40143 104% - 1s 0 0 18.39239 0 152 9.00000 18.39239 104% - 1s 0 0 18.38081 0 151 9.00000 18.38081 104% - 1s 0 0 18.36683 0 152 9.00000 18.36683 104% - 1s H 0 0 10.0000000 18.36683 83.7% - 1s 0 0 18.36445 0 152 10.00000 18.36445 83.6% - 2s 0 0 18.36431 0 152 10.00000 18.36431 83.6% - 2s 0 0 18.36430 0 152 10.00000 18.36430 83.6% - 2s 0 2 18.36346 0 152 10.00000 18.36346 83.6% - 3s 194 156 12.52713 17 65 10.00000 17.73021 77.3% 91.2 5s H 600 221 11.0000000 15.18737 38.1% 85.0 10s 628 237 13.08306 25 69 11.00000 15.18737 38.1% 100 15s 1126 166 cutoff 27 11.00000 13.32113 21.1% 97.9 20s Cutting planes: Clique: 50 Explored 1414 nodes (120507 simplex iterations) in 21.00 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.100000000000e+01, best bound 1.100000000000e+01, gap 0.0%