74.17/60.03	/export/starexec/sandbox/solver/bin/starexec_run_UNR: line 3: 23055 Alarm clock             ./csi.sh -s 'AUTO_UNR' $1 2> /dev/null
74.17/60.07	EOF