1120.91/300.04 sh: line 1: 9953 Alarm clock ./resources/firstorderprover resources/system.trs 50 > resources/result 1120.91/300.05 /export/starexec/sandbox2/solver/bin/starexec_run_default: line 3: 9928 Alarm clock ./wanda.exe $1 1120.91/300.05 EOF