Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:59:39 2012 Optimize a model with 3760 rows, 122 columns and 7520 nonzeros Presolve removed 2675 rows and 0 columns Presolve time: 0.14s Presolved: 1085 rows, 122 columns, 7951 nonzeros Variable types: 0 continuous, 122 integer (122 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.603286e+01, 489 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.03286 0 119 7.00000 16.03286 129% - 0s H 0 0 8.0000000 16.03286 100% - 0s 0 0 15.65415 0 121 8.00000 15.65415 95.7% - 0s H 0 0 9.0000000 15.65415 73.9% - 0s 0 0 15.58678 0 121 9.00000 15.58678 73.2% - 0s 0 0 15.56772 0 121 9.00000 15.56772 73.0% - 0s 0 0 15.51636 0 122 9.00000 15.51636 72.4% - 0s 0 0 15.49363 0 122 9.00000 15.49363 72.2% - 1s 0 0 15.48466 0 122 9.00000 15.48466 72.1% - 1s 0 0 15.45357 0 122 9.00000 15.45357 71.7% - 1s 0 0 15.43637 0 122 9.00000 15.43637 71.5% - 1s 0 0 15.43502 0 122 9.00000 15.43502 71.5% - 1s 0 0 15.42023 0 122 9.00000 15.42023 71.3% - 2s 0 0 15.41954 0 122 9.00000 15.41954 71.3% - 2s 0 0 15.41741 0 122 9.00000 15.41741 71.3% - 2s 0 0 15.41730 0 122 9.00000 15.41730 71.3% - 2s 0 2 15.41453 0 122 9.00000 15.41453 71.3% - 3s 375 132 10.99807 23 53 9.00000 12.73076 41.5% 72.9 5s Cutting planes: Clique: 112 Explored 627 nodes (40748 simplex iterations) in 6.03 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%