Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:01:42 2012 Optimize a model with 3855 rows, 125 columns and 7710 nonzeros Presolve removed 2721 rows and 0 columns Presolve time: 0.13s Presolved: 1134 rows, 125 columns, 7847 nonzeros Variable types: 0 continuous, 125 integer (125 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.650940e+01, 580 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.50940 0 119 8.00000 16.50940 106% - 0s 0 0 16.06851 0 125 8.00000 16.06851 101% - 0s 0 0 15.98770 0 124 8.00000 15.98770 100% - 0s 0 0 15.92155 0 125 8.00000 15.92155 99.0% - 0s 0 0 15.89400 0 125 8.00000 15.89400 98.7% - 0s 0 0 15.88273 0 125 8.00000 15.88273 98.5% - 1s H 0 0 9.0000000 15.88273 76.5% - 1s 0 0 15.88039 0 125 9.00000 15.88039 76.4% - 1s 0 0 15.87482 0 125 9.00000 15.87482 76.4% - 1s 0 0 15.86884 0 125 9.00000 15.86884 76.3% - 1s 0 0 15.85466 0 125 9.00000 15.85466 76.2% - 1s 0 0 15.85194 0 125 9.00000 15.85194 76.1% - 2s 0 0 15.85043 0 125 9.00000 15.85043 76.1% - 2s 0 0 15.84979 0 125 9.00000 15.84979 76.1% - 2s 0 0 15.84966 0 125 9.00000 15.84966 76.1% - 2s 0 0 15.84961 0 125 9.00000 15.84961 76.1% - 2s 0 2 15.84906 0 125 9.00000 15.84906 76.1% - 3s 383 190 11.14107 19 55 9.00000 13.54574 50.5% 65.4 5s * 515 133 9 10.0000000 12.77164 27.7% 61.6 5s Cutting planes: Clique: 124 Explored 661 nodes (38937 simplex iterations) in 6.08 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%