171.00/60.07	/export/starexec/sandbox/solver/bin/starexec_run_TRS: line 3: 31639 Alarm clock             ./csi.sh $1 2> /dev/null
171.00/60.07	EOF