Standard output
610338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest782343681757442130.key
610338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.6ns
610338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
610514 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
610530 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
610530 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
610530 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
611166 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
615693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s
615725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest782343681757442130.key
615725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
615845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4007412946819261066.proof.gz
615845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 353.1ns
615845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
619885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s
619901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4007412946819261066.proof.gz
619917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.75ms