Port:               20000
Binaries directory: /home/schulz/DISTRIB_TEST_CFG/LX_E/E/PROVER
Problem directory:  /home/schulz/EPROVER/TPTP_3.5.0_FLAT
Max processes:      2
E-Mark:             710.982
Memory limit:       768
Auto options:       -s --print-statistics --resources-info
Master:             sunbroy2:30000
Mode:               connect
Nice:               10
Local blocks:       true
Load limit:         2.1
