Port:               31000
Control port:       40000
Synchronize:        30
Job directory:      /Users/schulz/EPROVER/TESTRUNS_SERVER
Result directory:   /Users/schulz/EPROVER/TESTRUNS_SERVER
