231.29/60.13	/export/starexec/sandbox2/solver/bin/starexec_run_TRS: line 3:  2800 Alarm clock             ./csi.sh $1 2> /dev/null
231.29/60.14	EOF