Standard output
608487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15341981975390961723.key
608487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.3ns
608487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
608862 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
608862 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
608862 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
608862 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
610112 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
615633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.14s
615649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15341981975390961723.key
615665 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
615774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest11224230323753311784.proof.gz
615774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.5ns
615790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
620057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s
620073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11224230323753311784.proof.gz
620088 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.61ms