231.83/60.12	/export/starexec/sandbox/solver/bin/starexec_run_SRS: line 3:   815 Alarm clock             ./csi.sh $1 2> /dev/null
231.83/60.14	EOF