232.13/60.14 /export/starexec/sandbox/solver/bin/starexec_run_TRS: line 3: 20139 Alarm clock ./csi.sh $1 2> /dev/null 232.13/60.15 EOF