60.75/60.09	/export/starexec/sandbox/solver/bin/starexec_run_default: line 3: 26225 Alarm clock             PATH=.:$PATH hakusan $1 2> /dev/null
60.75/60.09	EOF