add an ad-hoc patch for SoPlex to exit as soon as memory allocation error occurs.

This is to avoid a bug that causes returning incorrect result.
Such a case is found in Max-SAT Evaluation 2013.