Standard output
612262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest11159565988018462356.key
612262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.8ns
612262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
612418 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
612418 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
612418 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
612418 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
613096 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
617689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s
617720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11159565988018462356.key
617720 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
617900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7193774625783737136.proof.gz
617900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 365.8ns
617903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
621955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s
621971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7193774625783737136.proof.gz
621971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.98ms