Port:               30000
Job directory:      /Users/schulz/EPROVER/TESTRUNS_SERVER
Result directory:   /Users/schulz/EPROVER/TESTRUNS_SERVER
