Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:21:44 2012 Optimize a model with 4829 rows, 139 columns and 9658 nonzeros Presolve removed 3508 rows and 0 columns Presolve time: 0.18s Presolved: 1321 rows, 139 columns, 9539 nonzeros Variable types: 0 continuous, 139 integer (139 binary) Found heuristic solution: objective 9.0000000 Root relaxation: objective 1.772615e+01, 644 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.72615 0 136 9.00000 17.72615 97.0% - 0s 0 0 17.21100 0 138 9.00000 17.21100 91.2% - 0s 0 0 17.10980 0 138 9.00000 17.10980 90.1% - 0s 0 0 17.06765 0 138 9.00000 17.06765 89.6% - 0s 0 0 17.04715 0 138 9.00000 17.04715 89.4% - 1s 0 0 17.04389 0 138 9.00000 17.04389 89.4% - 1s 0 0 17.02560 0 139 9.00000 17.02560 89.2% - 1s 0 0 17.01624 0 139 9.00000 17.01624 89.1% - 1s 0 0 17.01146 0 138 9.00000 17.01146 89.0% - 1s 0 0 17.00381 0 139 9.00000 17.00381 88.9% - 2s 0 0 16.99830 0 139 9.00000 16.99830 88.9% - 2s 0 0 16.99771 0 138 9.00000 16.99771 88.9% - 2s 0 0 16.99694 0 138 9.00000 16.99694 88.9% - 2s 0 0 16.99688 0 138 9.00000 16.99688 88.9% - 2s 0 2 16.99464 0 138 9.00000 16.99464 88.8% - 3s 253 148 13.71296 9 73 9.00000 16.00202 77.8% 73.8 5s H 332 158 10.0000000 15.59023 55.9% 72.3 5s Cutting planes: Clique: 150 Explored 860 nodes (58191 simplex iterations) in 9.25 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%