59.99/60.01	/export/starexec/sandbox2/solver/bin/starexec_run_default: line 4: 26738 Alarm clock             PATH=.:$PATH ./coll $1 2> /dev/null
59.99/60.01	EOF