Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:04:43 2012 Optimize a model with 4086 rows, 128 columns and 8172 nonzeros Presolve removed 2958 rows and 0 columns Presolve time: 0.14s Presolved: 1128 rows, 128 columns, 8001 nonzeros Variable types: 0 continuous, 128 integer (128 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.697101e+01, 551 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.97101 0 122 7.00000 16.97101 142% - 0s H 0 0 8.0000000 16.97101 112% - 0s 0 0 16.32258 0 126 8.00000 16.32258 104% - 0s 0 0 16.24861 0 128 8.00000 16.24861 103% - 0s 0 0 16.18663 0 126 8.00000 16.18663 102% - 0s 0 0 16.15506 0 126 8.00000 16.15506 102% - 0s H 0 0 9.0000000 16.15506 79.5% - 0s 0 0 16.14516 0 126 9.00000 16.14516 79.4% - 1s 0 0 16.12421 0 126 9.00000 16.12421 79.2% - 1s 0 0 16.09705 0 126 9.00000 16.09705 78.9% - 1s 0 0 16.08924 0 124 9.00000 16.08924 78.8% - 1s 0 0 16.08164 0 124 9.00000 16.08164 78.7% - 1s 0 0 16.08063 0 125 9.00000 16.08063 78.7% - 2s 0 0 16.08002 0 125 9.00000 16.08002 78.7% - 2s 0 0 16.07938 0 126 9.00000 16.07938 78.7% - 2s 0 2 16.07877 0 126 9.00000 16.07877 78.7% - 2s 467 181 cutoff 29 9.00000 13.14909 46.1% 67.0 5s 652 234 11.76824 34 61 9.00000 12.60222 40.0% 77.0 10s H 1082 129 10.0000000 12.31704 23.2% 66.3 11s Cutting planes: Clique: 57 Explored 1326 nodes (78910 simplex iterations) in 12.01 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%