>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ONE-STEP SEMI-SYMBOLIC CONTROL
memory allocation of 103079215104 bytes failed
timeout: the monitored command dumped core
Aborted
