Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:23:43 2012 Optimize a model with 4878 rows, 140 columns and 9756 nonzeros Presolve removed 3535 rows and 0 columns Presolve time: 0.18s Presolved: 1343 rows, 140 columns, 9707 nonzeros Variable types: 0 continuous, 140 integer (140 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.764571e+01, 647 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.64571 0 139 8.00000 17.64571 121% - 0s 0 0 17.09028 0 140 8.00000 17.09028 114% - 0s H 0 0 9.0000000 17.09028 89.9% - 0s 0 0 17.03203 0 140 9.00000 17.03203 89.2% - 0s 0 0 17.00134 0 139 9.00000 17.00134 88.9% - 0s 0 0 16.97695 0 140 9.00000 16.97695 88.6% - 1s 0 0 16.97147 0 140 9.00000 16.97147 88.6% - 1s 0 0 16.96554 0 140 9.00000 16.96554 88.5% - 1s 0 0 16.95458 0 140 9.00000 16.95458 88.4% - 1s 0 0 16.94301 0 140 9.00000 16.94301 88.3% - 1s 0 0 16.93993 0 139 9.00000 16.93993 88.2% - 2s 0 0 16.93347 0 139 9.00000 16.93347 88.1% - 2s 0 0 16.93079 0 140 9.00000 16.93079 88.1% - 2s 0 0 16.92421 0 139 9.00000 16.92421 88.0% - 2s 0 0 16.91555 0 140 9.00000 16.91555 88.0% - 2s 0 0 16.91177 0 140 9.00000 16.91177 87.9% - 3s 0 0 16.91166 0 140 9.00000 16.91166 87.9% - 3s 0 0 16.91135 0 140 9.00000 16.91135 87.9% - 3s 0 2 16.91001 0 140 9.00000 16.91001 87.9% - 3s H 108 80 10.0000000 16.63689 66.4% 87.2 4s 127 93 13.17868 5 72 10.00000 16.51837 65.2% 88.2 5s Cutting planes: Clique: 147 Explored 768 nodes (56096 simplex iterations) in 9.15 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%