60.25/60.07	/export/starexec/sandbox2/solver/bin/starexec_run_default: line 3:  8450 Alarm clock             PATH=.:$PATH ./collsaigawa $1 2> /dev/null
60.25/60.07	EOF