/export/starexec/sandbox2/solver/bin/starexec_run_default: line 5: 40985 Alarm clock             xsltproc xtc2tpdb.xsl $1 > $TMPDIR/muTermIn_$prefix.trs