Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:35:23 2012 Optimize a model with 5187 rows, 145 columns and 10374 nonzeros Presolve removed 3737 rows and 0 columns Presolve time: 0.20s Presolved: 1450 rows, 145 columns, 10400 nonzeros Variable types: 0 continuous, 145 integer (145 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.870545e+01, 760 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.70545 0 143 8.00000 18.70545 134% - 0s 0 0 18.26695 0 145 8.00000 18.26695 128% - 0s 0 0 18.20371 0 145 8.00000 18.20371 128% - 0s H 0 0 9.0000000 18.20371 102% - 0s 0 0 18.18175 0 144 9.00000 18.18175 102% - 0s 0 0 18.13460 0 145 9.00000 18.13460 101% - 1s 0 0 18.08075 0 145 9.00000 18.08075 101% - 1s 0 0 18.06685 0 145 9.00000 18.06685 101% - 1s 0 0 18.06289 0 145 9.00000 18.06289 101% - 1s 0 0 18.06281 0 145 9.00000 18.06281 101% - 1s 0 0 18.06272 0 145 9.00000 18.06272 101% - 2s 0 0 18.06267 0 145 9.00000 18.06267 101% - 2s 0 2 18.06222 0 145 9.00000 18.06222 101% - 2s 303 225 12.16270 16 65 9.00000 16.80112 86.7% 77.0 5s H 600 310 10.0000000 15.23233 52.3% 72.9 9s 601 308 11.47565 59 145 10.00000 15.23233 52.3% 72.7 10s 679 362 11.81675 46 57 10.00000 14.99605 50.0% 104 15s 1550 229 12.31906 19 49 10.00000 12.53778 25.4% 74.9 20s Cutting planes: Clique: 50 Explored 2027 nodes (130979 simplex iterations) in 24.89 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%