Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:03:33 2012 Optimize a model with 5709 rows, 152 columns and 11418 nonzeros Presolve removed 4156 rows and 0 columns Presolve time: 0.24s Presolved: 1553 rows, 152 columns, 11235 nonzeros Variable types: 0 continuous, 152 integer (152 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.934311e+01, 769 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.34311 0 150 8.00000 19.34311 142% - 0s H 0 0 9.0000000 19.34311 115% - 0s 0 0 18.98169 0 150 9.00000 18.98169 111% - 0s 0 0 18.86970 0 150 9.00000 18.86970 110% - 0s 0 0 18.79600 0 151 9.00000 18.79600 109% - 1s H 0 0 10.0000000 18.79600 88.0% - 1s 0 0 18.74674 0 152 10.00000 18.74674 87.5% - 1s 0 0 18.72074 0 152 10.00000 18.72074 87.2% - 1s 0 0 18.71027 0 151 10.00000 18.71027 87.1% - 1s 0 0 18.70769 0 151 10.00000 18.70769 87.1% - 1s 0 0 18.70638 0 151 10.00000 18.70638 87.1% - 2s 0 2 18.70597 0 151 10.00000 18.70597 87.1% - 2s 276 190 14.44873 9 77 10.00000 17.48700 74.9% 87.3 5s 601 346 11.75858 29 151 10.00000 15.61086 56.1% 80.0 10s 646 378 13.03909 31 62 10.00000 15.61086 56.1% 102 15s 1353 395 14.01760 23 74 10.00000 14.26297 42.6% 83.3 20s 1740 389 11.01526 29 41 10.00000 13.79891 38.0% 74.9 25s 2376 350 cutoff 35 10.00000 12.48912 24.9% 68.2 30s Cutting planes: Clique: 53 Explored 2976 nodes (180212 simplex iterations) in 32.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%