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