Author florian
Recipients andrew.coles, erez, florian, jendrik, malte, silvia
Date 2016-12-05.10:51:20
> We could exit with EXIT_OUT_OF_MEMORY if the error message matches "CPXlpopt
> returned error 1001" (1001 stands for out of memory in the CPLEX lib). Not
> sure if that's the best solution though.

Sounds good. This is also the way we handle other error messages that come
through unexpected channels (e.g., OSI reports some CPLEX errors as warnings).
Date User Action Args
2016-12-05 10:51:20floriansetmessageid: <>
2016-12-05 10:51:20floriansetrecipients: + florian, malte, erez, andrew.coles, silvia, jendrik
2016-12-05 10:51:20florianlinkissue213 messages
2016-12-05 10:51:20floriancreate