59.94/60.02	/export/starexec/sandbox2/solver/bin/starexec_run_default: line 3: 58966 Alarm clock             PATH=.:$PATH ./toma --inf $1
59.94/60.02	EOF