Standard output
492676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17969579193662456214.key
492676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171ns
492692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
492817 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492817 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492817 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492817 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
493474 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
497231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s
497246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17969579193662456214.key
497246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
497392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15052067782159116514.proof.gz
497392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.5ns
497392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
500544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s
500575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15052067782159116514.proof.gz
500575 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.82ms