Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:24:39 2012 Optimize a model with 4865 rows, 140 columns and 9730 nonzeros Presolve removed 3466 rows and 0 columns Presolve time: 0.19s Presolved: 1399 rows, 140 columns, 9866 nonzeros Variable types: 0 continuous, 140 integer (140 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.828280e+01, 696 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.28280 0 138 8.00000 18.28280 129% - 0s 0 0 17.75126 0 139 8.00000 17.75126 122% - 0s 0 0 17.58360 0 140 8.00000 17.58360 120% - 0s 0 0 17.47669 0 139 8.00000 17.47669 118% - 0s 0 0 17.37958 0 139 8.00000 17.37958 117% - 1s H 0 0 9.0000000 17.37958 93.1% - 1s 0 0 17.35671 0 140 9.00000 17.35671 92.9% - 1s 0 0 17.33614 0 140 9.00000 17.33614 92.6% - 1s 0 0 17.32307 0 139 9.00000 17.32307 92.5% - 1s 0 0 17.30622 0 140 9.00000 17.30622 92.3% - 1s 0 0 17.29420 0 140 9.00000 17.29420 92.2% - 2s 0 0 17.29243 0 140 9.00000 17.29243 92.1% - 2s 0 0 17.29231 0 140 9.00000 17.29231 92.1% - 2s 0 0 17.29222 0 140 9.00000 17.29222 92.1% - 2s 0 2 17.29042 0 140 9.00000 17.29042 92.1% - 3s 296 193 13.16760 11 64 9.00000 16.11033 79.0% 73.7 5s 601 338 11.26661 15 140 9.00000 14.36135 59.6% 66.6 11s 656 377 12.02173 31 57 9.00000 14.36135 59.6% 87.5 15s H 831 334 10.0000000 14.17987 41.8% 93.9 16s 1526 115 cutoff 34 10.00000 11.95534 19.6% 70.5 20s Cutting planes: Clique: 65 Explored 1656 nodes (111707 simplex iterations) in 21.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%