OldCpuSpeed=2519
NewCpuSpeedCount=3
NewCpuSpeed=2400
RollingAverage=1000
RollingAverageIsFromV27=1
WorkerThreads=8
CoresPerTest=1
ComputerGUID=f2b01b89c0429184d862c5c0bb554dc2
ComputerID=MB2
WorkerDiskSpace=6
ProofResiduesDir=
ProofArchiveDir=
Memory=307 during 7:30-23:30 else 307
MaxEmergencyMemory=1024
CertDailyCPULimit=10
CertWork=0
Pid=2554
SrvrUID=2117508857
SrvrComputerName=978003883
SrvrPO2=1
SrvrPO3=3
SrvrPO4=307
SrvrPO5=307
SrvrPO6=450
SrvrPO7=1410
SrvrPO8=1
SrvrPO9=8
SrvrP00=2
LastEndDatesSent=1694589957
RollingStartTime=0

[Worker #1]
SrvrPO1=152

[Worker #2]
SrvrPO1=152

[Worker #3]
SrvrPO1=152

[Worker #4]
SrvrPO1=152

[Worker #5]
SrvrPO1=0

[Worker #6]
SrvrPO1=0

[Worker #7]
SrvrPO1=0

[Worker #8]
SrvrPO1=0