Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:01:21 2012 Optimize a model with 3884 rows, 124 columns and 7768 nonzeros Presolve removed 2776 rows and 0 columns Presolve time: 0.14s Presolved: 1108 rows, 124 columns, 7883 nonzeros Variable types: 0 continuous, 124 integer (124 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.609402e+01, 524 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.09402 0 120 6.00000 16.09402 168% - 0s H 0 0 7.0000000 16.09402 130% - 0s 0 0 15.78625 0 123 7.00000 15.78625 126% - 0s H 0 0 8.0000000 15.78625 97.3% - 0s 0 0 15.68089 0 124 8.00000 15.68089 96.0% - 0s H 0 0 9.0000000 15.68089 74.2% - 0s 0 0 15.60583 0 123 9.00000 15.60583 73.4% - 0s 0 0 15.56255 0 124 9.00000 15.56255 72.9% - 0s 0 0 15.53873 0 123 9.00000 15.53873 72.7% - 1s 0 0 15.53657 0 123 9.00000 15.53657 72.6% - 1s 0 0 15.53112 0 123 9.00000 15.53112 72.6% - 1s 0 0 15.51600 0 124 9.00000 15.51600 72.4% - 1s 0 0 15.50841 0 124 9.00000 15.50841 72.3% - 1s 0 0 15.50550 0 124 9.00000 15.50550 72.3% - 2s 0 0 15.50441 0 124 9.00000 15.50441 72.3% - 2s 0 0 15.49937 0 124 9.00000 15.49937 72.2% - 2s 0 0 15.49575 0 124 9.00000 15.49575 72.2% - 2s 0 0 15.49326 0 124 9.00000 15.49326 72.1% - 2s 0 0 15.49002 0 124 9.00000 15.49002 72.1% - 2s 0 0 15.48343 0 123 9.00000 15.48343 72.0% - 3s 0 0 15.48233 0 124 9.00000 15.48233 72.0% - 3s 0 2 15.47984 0 124 9.00000 15.47984 72.0% - 3s 244 114 cutoff 16 9.00000 13.86116 54.0% 68.0 5s Cutting planes: Clique: 109 Explored 586 nodes (37919 simplex iterations) in 6.67 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%