Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:16:50 2012 Optimize a model with 5863 rows, 154 columns and 11726 nonzeros Presolve removed 4233 rows and 0 columns Presolve time: 0.24s Presolved: 1630 rows, 154 columns, 11898 nonzeros Variable types: 0 continuous, 154 integer (154 binary) Found heuristic solution: objective 9.0000000 Root relaxation: objective 1.976653e+01, 706 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.76653 0 149 9.00000 19.76653 120% - 0s 0 0 18.99577 0 152 9.00000 18.99577 111% - 0s 0 0 18.87896 0 152 9.00000 18.87896 110% - 0s 0 0 18.81525 0 152 9.00000 18.81525 109% - 1s 0 0 18.79471 0 153 9.00000 18.79471 109% - 1s 0 0 18.75562 0 153 9.00000 18.75562 108% - 1s 0 0 18.72914 0 152 9.00000 18.72914 108% - 1s 0 0 18.70825 0 153 9.00000 18.70825 108% - 1s 0 0 18.69437 0 152 9.00000 18.69437 108% - 2s H 0 0 10.0000000 18.69437 86.9% - 2s 0 0 18.68195 0 152 10.00000 18.68195 86.8% - 2s 0 0 18.67920 0 153 10.00000 18.67920 86.8% - 2s 0 0 18.67888 0 153 10.00000 18.67888 86.8% - 2s 0 0 18.67866 0 153 10.00000 18.67866 86.8% - 2s 0 0 18.67851 0 153 10.00000 18.67851 86.8% - 3s 0 2 18.67847 0 153 10.00000 18.67847 86.8% - 3s 121 107 12.32391 16 66 10.00000 18.39662 84.0% 101 5s 576 342 11.97551 27 63 10.00000 16.13214 61.3% 87.8 10s 614 363 16.04627 15 151 10.00000 16.04627 60.5% 89.3 15s 751 412 cutoff 83 10.00000 15.82401 58.2% 123 20s 1430 426 13.03754 44 71 10.00000 14.25333 42.5% 88.6 25s 1903 417 12.39240 35 64 10.00000 13.54243 35.4% 78.0 30s 2658 219 cutoff 38 10.00000 11.92515 19.3% 68.5 35s Cutting planes: Clique: 78 Explored 3037 nodes (191049 simplex iterations) in 35.63 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%