Standard output
490301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1110304216230573169.key
490301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.23ms
490301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
490426 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490426 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490426 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490442 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
491132 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
494863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s
494894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1110304216230573169.key
494894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
495025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14684903211955768297.proof.gz
495025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 890.4ns
495025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
498229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
498245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14684903211955768297.proof.gz
498245 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.78ms