Sender: LSF System <lsfadmin@n0104.pegasus.edu>
Subject: Job 2326942: <erun#test1#NUM114-1.p> Done

Job <erun#test1#NUM114-1.p> was submitted from host <u03> by user <sschulz> in cluster <lsfcluster>.
Job was executed on host(s) <n0104.pegasus.edu>, in queue <small>, as user <sschulz> in cluster <lsfcluster>.
</nethome/sschulz> was used as the home directory.
</nethome/sschulz> was used as the working directory.
Started at Mon Dec  6 19:00:54 2010
Results reported at Mon Dec  6 19:05:55 2010

Your job looked like:

------------------------------------------------------------
# LSBATCH: User input
#!/bin/bash
#BSUB -J erun#test1#NUM114-1.p
#BSUB -o erun#test1#NUM114-1.p.out   
#BSUB -e erun#test1#NUM114-1.p.err  
#BSUB -W 0:10   
#BSUB -q small 
#BSUB -n 1      
#
# Run serial executable on 1 cpu of one node
cd ${HOME}/EPROVER/TESTRUNS_BATCH
env TPTP=${HOME}/EPROVER/TPTP_4.1.0_FLAT ${HOME}/bin/eprover -s --print-statistics --cpu-limit=300 --tptp3-format --resources-info -xAuto -tAuto NUM114-1.p
echo "### Job complete ###"

------------------------------------------------------------

Successfully completed.

Resource usage summary:

    CPU time   :    300.30 sec.
    Max Memory :      2760 MB
    Max Swap   :      2902 MB

    Max Processes  :         4
    Max Threads    :         5

The output (if any) follows:


# Failure: Resource limit exceeded (time)
# SZS status ResourceOut
# Preprocessing time       : 0.021 s
### Job complete ###


PS:

Read file <erun#test1#NUM114-1.p.err> for stderr output of this job.