Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:05:39 2012 Optimize a model with 4081 rows, 129 columns and 8162 nonzeros Presolve removed 2916 rows and 0 columns Presolve time: 0.14s Presolved: 1165 rows, 129 columns, 8055 nonzeros Variable types: 0 continuous, 129 integer (129 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.701896e+01, 625 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.01896 0 128 7.00000 17.01896 143% - 0s H 0 0 8.0000000 17.01896 113% - 0s 0 0 16.56996 0 127 8.00000 16.56996 107% - 0s 0 0 16.53844 0 129 8.00000 16.53844 107% - 0s 0 0 16.52060 0 129 8.00000 16.52060 107% - 0s H 0 0 9.0000000 16.52060 83.6% - 0s 0 0 16.50993 0 128 9.00000 16.50993 83.4% - 0s 0 0 16.48577 0 128 9.00000 16.48577 83.2% - 1s 0 0 16.47613 0 129 9.00000 16.47613 83.1% - 1s 0 0 16.47469 0 128 9.00000 16.47469 83.1% - 1s 0 0 16.46709 0 127 9.00000 16.46709 83.0% - 1s 0 0 16.46557 0 128 9.00000 16.46557 83.0% - 1s 0 0 16.45405 0 129 9.00000 16.45405 82.8% - 2s 0 0 16.44657 0 129 9.00000 16.44657 82.7% - 2s 0 0 16.44637 0 129 9.00000 16.44637 82.7% - 2s 0 0 16.44621 0 129 9.00000 16.44621 82.7% - 2s 0 0 16.44520 0 129 9.00000 16.44520 82.7% - 2s 0 2 16.44279 0 129 9.00000 16.44279 82.7% - 3s 354 194 11.38570 17 54 9.00000 14.73709 63.7% 67.5 5s 614 261 13.09111 10 67 9.00000 13.41989 49.1% 63.6 10s 1420 261 10.17450 21 33 9.00000 12.22215 35.8% 62.0 15s Cutting planes: Clique: 44 Explored 2216 nodes (111585 simplex iterations) in 18.26 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%