Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:02:13 2012 Optimize a model with 3940 rows, 125 columns and 7880 nonzeros Presolve removed 2807 rows and 0 columns Presolve time: 0.13s Presolved: 1133 rows, 125 columns, 7959 nonzeros Variable types: 0 continuous, 125 integer (125 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.638462e+01, 570 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.38462 0 121 6.00000 16.38462 173% - 0s H 0 0 7.0000000 16.38462 134% - 0s 0 0 16.16612 0 124 7.00000 16.16612 131% - 0s H 0 0 8.0000000 16.16612 102% - 0s 0 0 16.09324 0 125 8.00000 16.09324 101% - 0s 0 0 16.07209 0 125 8.00000 16.07209 101% - 0s 0 0 16.05313 0 125 8.00000 16.05313 101% - 0s 0 0 16.04312 0 125 8.00000 16.04312 101% - 0s 0 0 16.03059 0 125 8.00000 16.03059 100% - 1s 0 0 16.02634 0 125 8.00000 16.02634 100% - 1s 0 0 16.02410 0 124 8.00000 16.02410 100% - 1s 0 0 16.01446 0 125 8.00000 16.01446 100% - 1s 0 0 15.98946 0 125 8.00000 15.98946 100% - 1s 0 0 15.98561 0 125 8.00000 15.98561 100% - 2s 0 0 15.98435 0 125 8.00000 15.98435 100% - 2s 0 0 15.98422 0 125 8.00000 15.98422 100% - 2s H 0 0 9.0000000 15.98422 77.6% - 2s 0 0 15.98407 0 125 9.00000 15.98407 77.6% - 2s 0 0 15.97827 0 125 9.00000 15.97827 77.5% - 2s 0 0 15.97673 0 125 9.00000 15.97673 77.5% - 3s 0 0 15.97612 0 125 9.00000 15.97612 77.5% - 3s 0 2 15.97531 0 125 9.00000 15.97531 77.5% - 3s 212 120 cutoff 13 9.00000 14.57712 62.0% 74.4 5s Cutting planes: Clique: 73 Explored 716 nodes (44752 simplex iterations) in 7.60 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%