Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:09:40 2012 Optimize a model with 4346 rows, 132 columns and 8692 nonzeros Presolve removed 3063 rows and 0 columns Presolve time: 0.15s Presolved: 1283 rows, 132 columns, 9002 nonzeros Variable types: 0 continuous, 132 integer (132 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.738787e+01, 651 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.38787 0 130 8.00000 17.38787 117% - 0s 0 0 16.87710 0 132 8.00000 16.87710 111% - 0s 0 0 16.82857 0 129 8.00000 16.82857 110% - 0s 0 0 16.73903 0 132 8.00000 16.73903 109% - 0s 0 0 16.69711 0 132 8.00000 16.69711 109% - 1s 0 0 16.68479 0 132 8.00000 16.68479 109% - 1s H 0 0 9.0000000 16.68479 85.4% - 1s 0 0 16.67935 0 132 9.00000 16.67935 85.3% - 1s 0 0 16.67840 0 132 9.00000 16.67840 85.3% - 1s 0 0 16.67416 0 132 9.00000 16.67416 85.3% - 1s 0 0 16.67399 0 132 9.00000 16.67399 85.3% - 1s 0 0 16.67243 0 132 9.00000 16.67243 85.2% - 2s 0 0 16.66218 0 132 9.00000 16.66218 85.1% - 2s 0 0 16.66153 0 132 9.00000 16.66153 85.1% - 2s 0 0 16.66111 0 132 9.00000 16.66111 85.1% - 2s 0 0 16.66107 0 132 9.00000 16.66107 85.1% - 2s 0 2 16.65789 0 132 9.00000 16.65789 85.1% - 3s 282 173 12.58360 11 65 9.00000 15.18973 68.8% 72.8 5s 1168 69 cutoff 28 9.00000 10.87478 20.8% 55.1 10s Cutting planes: Clique: 129 Explored 1242 nodes (67633 simplex iterations) in 10.31 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%