654.55/300.06 sh: line 1: 17610 Alarm clock ./resources/firstorderprover resources/system.trs 50 > resources/result 654.55/300.08 EOF