Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:21:02 2012 Optimize a model with 4761 rows, 138 columns and 9522 nonzeros Presolve removed 3383 rows and 0 columns Presolve time: 0.17s Presolved: 1378 rows, 138 columns, 9927 nonzeros Variable types: 0 continuous, 138 integer (138 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.808018e+01, 682 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.08018 0 136 6.00000 18.08018 201% - 0s H 0 0 7.0000000 18.08018 158% - 0s 0 0 17.46581 0 138 7.00000 17.46581 150% - 0s H 0 0 8.0000000 17.46581 118% - 0s 0 0 17.36386 0 138 8.00000 17.36386 117% - 0s H 0 0 9.0000000 17.36386 92.9% - 0s 0 0 17.31294 0 138 9.00000 17.31294 92.4% - 0s 0 0 17.29477 0 138 9.00000 17.29477 92.2% - 1s 0 0 17.26279 0 138 9.00000 17.26279 91.8% - 1s 0 0 17.23514 0 138 9.00000 17.23514 91.5% - 1s 0 0 17.22658 0 138 9.00000 17.22658 91.4% - 1s H 0 0 10.0000000 17.22658 72.3% - 1s 0 0 17.22170 0 138 10.00000 17.22170 72.2% - 1s 0 0 17.22152 0 138 10.00000 17.22152 72.2% - 2s 0 0 17.21685 0 138 10.00000 17.21685 72.2% - 2s 0 0 17.21664 0 138 10.00000 17.21664 72.2% - 2s 0 0 17.21525 0 138 10.00000 17.21525 72.2% - 2s 0 0 17.21504 0 138 10.00000 17.21504 72.2% - 2s 0 2 17.21457 0 138 10.00000 17.21457 72.1% - 3s 242 117 12.64099 10 61 10.00000 15.75362 57.5% 80.3 5s Cutting planes: Clique: 125 Explored 790 nodes (55306 simplex iterations) in 8.33 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%