Standard output
531654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest18056542277913646168.key
531654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns
531654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
531826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
531826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
531826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
531826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
532607 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
536595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s
536626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18056542277913646168.key
536626 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
536751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14761886995499877085.proof.gz
536751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 450.3ns
536751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
540252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s
540284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14761886995499877085.proof.gz
540299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.96ms