Standard output
620338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7095317122410083577.key
620338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.8ns
620338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
620515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
620515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
620515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
620515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
621122 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
625793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s
625809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7095317122410083577.key
625824 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
625934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10565952915251528943.proof.gz
625934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.4ns
625934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
630053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s
630069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10565952915251528943.proof.gz
630084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.87ms