232.48/60.15 /export/starexec/sandbox2/solver/bin/starexec_run_UNC: line 3: 17702 Alarm clock ./csi.sh -s 'AUTO_UNC' $1 2> /dev/null 232.48/60.16 EOF