Standard output
492359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest6738186487927541015.key
492359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.6ns
492359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
492517 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492517 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492517 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492517 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
493043 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
496592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s
496608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6738186487927541015.key
496608 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
496736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16456864137239957772.proof.gz
496737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 523.8ns
496740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
500027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
500042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16456864137239957772.proof.gz
500058 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.46ms