1091.16/300.08	sh: line 1: 45655 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
1091.16/300.09	/export/starexec/sandbox/solver/bin/starexec_run_default: line 3: 45644 Alarm clock             ./wanda.exe $1
1091.16/300.10	EOF