Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:07:46 2012 Optimize a model with 4248 rows, 130 columns and 8496 nonzeros Presolve removed 2991 rows and 0 columns Presolve time: 0.15s Presolved: 1257 rows, 130 columns, 8589 nonzeros Variable types: 0 continuous, 130 integer (130 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.714009e+01, 627 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.14009 0 126 6.00000 17.14009 186% - 0s H 0 0 7.0000000 17.14009 145% - 0s 0 0 16.58253 0 128 7.00000 16.58253 137% - 0s H 0 0 8.0000000 16.58253 107% - 0s 0 0 16.43311 0 129 8.00000 16.43311 105% - 0s H 0 0 9.0000000 16.43311 82.6% - 0s 0 0 16.38020 0 130 9.00000 16.38020 82.0% - 0s 0 0 16.36204 0 129 9.00000 16.36204 81.8% - 0s 0 0 16.34555 0 129 9.00000 16.34555 81.6% - 1s 0 0 16.34324 0 129 9.00000 16.34324 81.6% - 1s 0 0 16.33511 0 128 9.00000 16.33511 81.5% - 1s H 0 0 10.0000000 16.33511 63.4% - 1s 0 0 16.33272 0 129 10.00000 16.33272 63.3% - 1s 0 0 16.32902 0 130 10.00000 16.32902 63.3% - 1s 0 0 16.32694 0 130 10.00000 16.32694 63.3% - 2s 0 0 16.32526 0 130 10.00000 16.32526 63.3% - 2s 0 0 16.32502 0 130 10.00000 16.32502 63.3% - 2s 0 2 16.32359 0 130 10.00000 16.32359 63.2% - 2s 310 102 11.23758 3 38 10.00000 13.71969 37.2% 81.6 5s Cutting planes: Clique: 130 Explored 465 nodes (36671 simplex iterations) in 5.78 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%