Standard output
572555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4093425522402431526.key
572555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.6ns
572555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
572711 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
572711 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
572711 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
572711 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
573805 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
578824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.26s
578839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4093425522402431526.key
578839 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
578980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16614700411444584888.proof.gz
578980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.2ns
578980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
582763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s
582779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16614700411444584888.proof.gz
582779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.41ms