ABORT Parsing...done /home/competition/run/inesc-udl-paranoid/msuncore.sh: line 2: 8089 Killed ./msuncore -bmo $1