Standard output
499420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4404993979445823693.key
499436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.4ns
499436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
499593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
499593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
499593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
499593 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
500265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
504299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s
504987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4404993979445823693.key
504987 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
505221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9220748885804249013.proof.gz
505221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 737.2ns
505237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
508504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
508519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9220748885804249013.proof.gz
508535 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ms