59.98/60.03	/export/starexec/sandbox/solver/bin/starexec_run_COM: line 3:  2714 Alarm clock             ./certified_run.sh "Com([0],[1])" $1
59.98/60.03	EOF