Standard output
628435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest8297738787202493603.key
628435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.6ns
628435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
628607 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628607 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628607 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628607 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
629228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
633772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s
633803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8297738787202493603.key
633803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
633912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3670892517241731255.proof.gz
633912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.4ns
633912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
638141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s
638157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3670892517241731255.proof.gz
638172 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.72ms