59.33/60.02 /export/starexec/sandbox/solver/bin/starexec_run_default: line 3: 60998 Alarm clock PATH=.:$PATH ./moca.sh $1 2> /dev/null 59.33/60.02 EOF