Author jendrik
Recipients andrew.coles, erez, florian, jendrik, malte, silvia
Date 2016-11-30.00:28:34
I agree. After looking at the code again, my fix make no sense. The error 
message apparently comes from COIN, not CPLEX. Our code detects this, calls 
handle_coin_error() which prints "Coin threw exception: ...". 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.
Date User Action Args
2016-11-30 00:28:34jendriksetmessageid: <>
2016-11-30 00:28:34jendriksetrecipients: + jendrik, malte, erez, andrew.coles, silvia, florian
2016-11-30 00:28:34jendriklinkissue213 messages
2016-11-30 00:28:34jendrikcreate