The code for dumpCut() in OsiCuts.hpp is: void dumpCuts() { while (rowCutPtrs_.size()>0) rowCutPtrs_.erase(rowCutPtrs_.begin()); } It seems to me that using either iterator it = rowCutPtrs_.end(); while(it != rowCutPtrs_.begin()) it--; rowCutPtrs_.erase(it); } or rowCutPtrs_.clear(); would be more far more efficient. Francois