Standard output
640014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14794597821842434461.key
640014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.3ns
640014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
640249 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
640249 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
640249 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
640249 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
641031 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
645642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.62s
645657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14794597821842434461.key
645673 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
645814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4469864204648511028.proof.gz
645814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.1ns
645814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
649821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s
649852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4469864204648511028.proof.gz
649852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.68ms