Author jendrik
Recipients andrew.coles, erez, florian, jendrik, malte, silvia
Date 2016-11-29.14:38:37
Concerning the critical error: 

The output on stdout is

CPX0000  Compressing row and column files.

The output on stderr is

Coin threw exception: CPXlpopt returned error 1001
 from method resolve
 from class OsiCpxSolverInterface
Unexplained error occurred.

(The last line is from Fast Downward.)

Interestingly, the file "" is written to disk, containing a 
textual represenation of an LP.
Date User Action Args
2016-11-29 14:38:37jendriksetmessageid: <>
2016-11-29 14:38:37jendriksetrecipients: + jendrik, malte, erez, andrew.coles, silvia, florian
2016-11-29 14:38:37jendriklinkissue213 messages
2016-11-29 14:38:37jendrikcreate