Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:02:25 2012 Optimize a model with 3923 rows, 125 columns and 7846 nonzeros Presolve removed 2809 rows and 0 columns Presolve time: 0.13s Presolved: 1114 rows, 125 columns, 7941 nonzeros Variable types: 0 continuous, 125 integer (125 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.636449e+01, 553 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.36449 0 124 7.00000 16.36449 134% - 0s H 0 0 8.0000000 16.36449 105% - 0s 0 0 15.95393 0 123 8.00000 15.95393 99.4% - 0s 0 0 15.85977 0 124 8.00000 15.85977 98.2% - 0s 0 0 15.76410 0 124 8.00000 15.76410 97.1% - 0s H 0 0 9.0000000 15.76410 75.2% - 0s 0 0 15.73807 0 123 9.00000 15.73807 74.9% - 0s 0 0 15.72034 0 124 9.00000 15.72034 74.7% - 0s H 0 0 10.0000000 15.72034 57.2% - 1s 0 0 15.71586 0 123 10.00000 15.71586 57.2% - 1s 0 0 15.68398 0 123 10.00000 15.68398 56.8% - 1s 0 0 15.63957 0 124 10.00000 15.63957 56.4% - 1s 0 0 15.63522 0 125 10.00000 15.63522 56.4% - 1s 0 0 15.62938 0 124 10.00000 15.62938 56.3% - 1s 0 0 15.62658 0 124 10.00000 15.62658 56.3% - 2s 0 0 15.62412 0 125 10.00000 15.62412 56.2% - 2s 0 0 15.62345 0 125 10.00000 15.62345 56.2% - 2s 0 0 15.62311 0 124 10.00000 15.62311 56.2% - 2s 0 0 15.62301 0 124 10.00000 15.62301 56.2% - 2s 0 2 15.62260 0 124 10.00000 15.62260 56.2% - 3s 285 22 cutoff 10 10.00000 11.80183 18.0% 78.6 5s Cutting planes: Clique: 125 Explored 308 nodes (24443 simplex iterations) in 5.06 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%