Standard output
613758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3471300919882116580.key
613758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.6ns
613758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
613992 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
613992 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
613992 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
613992 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
615400 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
620340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.58s
620356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3471300919882116580.key
620356 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
620481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest62113680301046392.proof.gz
620481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 463.5ns
620481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
624702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s
624717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest62113680301046392.proof.gz
624733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.42ms