Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:02:41 2012 Optimize a model with 3946 rows, 126 columns and 7892 nonzeros Presolve removed 2823 rows and 0 columns Presolve time: 0.13s Presolved: 1123 rows, 126 columns, 7856 nonzeros Variable types: 0 continuous, 126 integer (126 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.664942e+01, 654 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.64942 0 122 7.00000 16.64942 138% - 0s 0 0 16.21069 0 123 7.00000 16.21069 132% - 0s H 0 0 8.0000000 16.21069 103% - 0s 0 0 16.13078 0 124 8.00000 16.13078 102% - 0s H 0 0 9.0000000 16.13078 79.2% - 0s 0 0 16.08776 0 124 9.00000 16.08776 78.8% - 0s 0 0 16.05341 0 124 9.00000 16.05341 78.4% - 0s 0 0 16.03857 0 126 9.00000 16.03857 78.2% - 0s 0 0 16.01743 0 126 9.00000 16.01743 78.0% - 1s 0 0 15.98994 0 125 9.00000 15.98994 77.7% - 1s 0 0 15.98773 0 126 9.00000 15.98773 77.6% - 1s 0 0 15.98706 0 125 9.00000 15.98706 77.6% - 1s 0 0 15.98689 0 125 9.00000 15.98689 77.6% - 1s 0 0 15.98671 0 125 9.00000 15.98671 77.6% - 2s 0 0 15.98669 0 125 9.00000 15.98669 77.6% - 2s 0 2 15.98625 0 125 9.00000 15.98625 77.6% - 2s 534 185 10.42857 8 35 9.00000 12.87536 43.1% 62.0 5s H 694 99 10.0000000 12.15978 21.6% 57.9 6s Cutting planes: Clique: 130 Explored 794 nodes (43687 simplex iterations) in 6.23 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%