Standard output
534072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15949108364795971937.key
534072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.6ns
534072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
534228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
534228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
534228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
534228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
534994 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
538825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s
538856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15949108364795971937.key
538871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
539075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16513186560675369862.proof.gz
539075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 717.6ns
539075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
542626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
542640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16513186560675369862.proof.gz
542656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.05ms