Standard output
555759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3287223976010919651.key
555759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.7ns
555759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
555947 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
555947 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
555947 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
555947 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
556713 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
561091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s
561898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3287223976010919651.key
561904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
562560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest6160743703683075103.proof.gz
562560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.7ns
562560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
566156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s
566172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6160743703683075103.proof.gz
566188 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.51ms