Standard output
633223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10115987278622198577.key
633223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.6ns
633223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
633394 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
633394 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
633394 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
633394 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
634105 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
638969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.75s
639000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10115987278622198577.key
639000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns
639110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1359040424498911557.proof.gz
639110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.7ns
639110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
643307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s
643323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1359040424498911557.proof.gz
643338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.67ms