67.59/60.03	/export/starexec/sandbox2/solver/bin/starexec_run_default: line 3: 52460 Alarm clock             PATH=.:$PATH ./hakusan -smt z3 -tt NaTT.exe -auto 5 $1 2> /dev/null
67.59/60.03	EOF