Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:21:15 2012 Optimize a model with 6024 rows, 155 columns and 12048 nonzeros Presolve removed 4365 rows and 0 columns Presolve time: 0.25s Presolved: 1659 rows, 155 columns, 12071 nonzeros Variable types: 0 continuous, 155 integer (155 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.902409e+01, 809 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.02409 0 154 8.00000 19.02409 138% - 0s 0 0 18.37319 0 153 8.00000 18.37319 130% - 0s H 0 0 9.0000000 18.37319 104% - 0s 0 0 18.30950 0 153 9.00000 18.30950 103% - 0s 0 0 18.28305 0 154 9.00000 18.28305 103% - 1s H 0 0 10.0000000 18.28305 82.8% - 1s 0 0 18.24564 0 155 10.00000 18.24564 82.5% - 1s 0 0 18.19228 0 155 10.00000 18.19228 81.9% - 1s 0 0 18.16034 0 155 10.00000 18.16034 81.6% - 1s 0 0 18.13307 0 155 10.00000 18.13307 81.3% - 1s 0 0 18.12195 0 155 10.00000 18.12195 81.2% - 2s 0 0 18.11990 0 155 10.00000 18.11990 81.2% - 2s 0 0 18.11524 0 155 10.00000 18.11524 81.2% - 2s 0 0 18.10847 0 155 10.00000 18.10847 81.1% - 2s 0 0 18.10785 0 155 10.00000 18.10785 81.1% - 3s 0 0 18.10765 0 155 10.00000 18.10765 81.1% - 3s 0 0 18.10760 0 155 10.00000 18.10760 81.1% - 3s 0 2 18.10310 0 155 10.00000 18.10310 81.0% - 4s 76 70 15.31391 1 88 10.00000 18.03951 80.4% 119 5s H 190 123 11.0000000 17.48833 59.0% 92.2 5s 551 124 cutoff 43 11.00000 13.64215 24.0% 102 10s Cutting planes: Clique: 156 Explored 676 nodes (64178 simplex iterations) in 10.63 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.100000000000e+01, best bound 1.100000000000e+01, gap 0.0%