Port:               20000
Binaries directory: /Users/schulz/SOURCES/Projects/E/PROVER/
Problem directory:  /Users/schulz/EPROVER/TPTP_4.1.0_FLAT/
Max processes:      1
E-Mark:             1160.92
Memory limit:       768
Auto options:       -s --print-statistics --resources-info
Master:             localhost:31000
Nice:               0
Local blocks:       false
Load limit:         1.5
Mode:               connect