Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:00:29 2012 Optimize a model with 3771 rows, 123 columns and 7542 nonzeros Presolve removed 2746 rows and 0 columns Presolve time: 0.12s Presolved: 1025 rows, 123 columns, 7104 nonzeros Variable types: 0 continuous, 123 integer (123 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.623825e+01, 568 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.23825 0 115 6.00000 16.23825 171% - 0s H 0 0 7.0000000 16.23825 132% - 0s 0 0 15.81570 0 122 7.00000 15.81570 126% - 0s H 0 0 8.0000000 15.81570 97.7% - 0s 0 0 15.75608 0 121 8.00000 15.75608 97.0% - 0s 0 0 15.68255 0 122 8.00000 15.68255 96.0% - 0s 0 0 15.66144 0 123 8.00000 15.66144 95.8% - 0s H 0 0 9.0000000 15.66144 74.0% - 0s 0 0 15.64484 0 123 9.00000 15.64484 73.8% - 0s H 0 0 10.0000000 15.64484 56.4% - 0s 0 0 15.64024 0 123 10.00000 15.64024 56.4% - 1s 0 0 15.63488 0 123 10.00000 15.63488 56.3% - 1s 0 0 15.63427 0 122 10.00000 15.63427 56.3% - 1s 0 0 15.63406 0 123 10.00000 15.63406 56.3% - 1s 0 0 15.63341 0 123 10.00000 15.63341 56.3% - 1s 0 0 15.63235 0 122 10.00000 15.63235 56.3% - 2s 0 0 15.63233 0 122 10.00000 15.63233 56.3% - 2s 0 2 15.63014 0 122 10.00000 15.63014 56.3% - 2s Cutting planes: Clique: 116 Explored 286 nodes (23749 simplex iterations) in 4.05 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%