Standard output
525301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest18088716005550699676.key
525301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196ns
525301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
525457 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
525457 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
525457 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
525457 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
526235 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
530244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s
530260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18088716005550699676.key
530260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns
530401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15583956978179676189.proof.gz
530401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.2ns
530416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
534366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s
534381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15583956978179676189.proof.gz
534413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.56ms