Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:54:47 2012 Optimize a model with 3350 rows, 115 columns and 6700 nonzeros Presolve removed 2431 rows and 0 columns Presolve time: 0.10s Presolved: 919 rows, 115 columns, 6483 nonzeros Variable types: 0 continuous, 115 integer (115 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.508221e+01, 456 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 15.08221 0 112 8.00000 15.08221 88.5% - 0s H 0 0 9.0000000 15.08221 67.6% - 0s 0 0 14.82885 0 113 9.00000 14.82885 64.8% - 0s 0 0 14.79117 0 112 9.00000 14.79117 64.3% - 0s 0 0 14.77859 0 110 9.00000 14.77859 64.2% - 0s 0 0 14.77157 0 112 9.00000 14.77157 64.1% - 0s 0 0 14.76961 0 113 9.00000 14.76961 64.1% - 0s 0 0 14.76806 0 113 9.00000 14.76806 64.1% - 1s 0 0 14.76204 0 112 9.00000 14.76204 64.0% - 1s 0 0 14.72518 0 112 9.00000 14.72518 63.6% - 1s 0 0 14.68401 0 112 9.00000 14.68401 63.2% - 1s 0 0 14.66052 0 112 9.00000 14.66052 62.9% - 1s 0 0 14.64757 0 113 9.00000 14.64757 62.8% - 1s 0 0 14.64463 0 113 9.00000 14.64463 62.7% - 2s 0 0 14.64342 0 113 9.00000 14.64342 62.7% - 2s 0 0 14.64327 0 114 9.00000 14.64327 62.7% - 2s 0 0 14.64298 0 114 9.00000 14.64298 62.7% - 2s 0 0 14.64288 0 113 9.00000 14.64288 62.7% - 2s 0 2 14.64255 0 113 9.00000 14.64255 62.7% - 3s Cutting planes: Clique: 83 Explored 372 nodes (24818 simplex iterations) in 4.74 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%