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