Sender: LSF System <lsfadmin@n0257.pegasus.edu>
Subject: Job 2309907: <eprover> Done

Job <eprover> was submitted from host <u04> by user <sschulz> in cluster <lsfcluster>.
Job was executed on host(s) <n0257.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 Sun Nov 28 03:36:18 2010
Results reported at Sun Nov 28 03:41:18 2010

Your job looked like:

------------------------------------------------------------
# LSBATCH: User input
#!/bin/bash
#BSUB -J eprover
#BSUB -o ejob_%J.out   
#BSUB -e ejob_%J.err  
#BSUB -W 1:00   
#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 -xAuto -tAuto -s -R --cpu-limit=300 --tstp-in NUM114-1.p

echo "### Job done ###"

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

Successfully completed.

Resource usage summary:

    CPU time   :    300.22 sec.
    Max Memory :      2803 MB
    Max Swap   :      2945 MB

    Max Processes  :         4
    Max Threads    :         5

The output (if any) follows:


# Failure: Resource limit exceeded (time)
# SZS status ResourceOut
# Preprocessing time       : 0.011 s
### Job done ###


PS:

Read file <ejob_2309907.err> for stderr output of this job.