Standard output
592373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1441700237689713858.key
592373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.1ns
592373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
592936 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
592936 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
592936 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
592936 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
594234 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
598627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.26s
598659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1441700237689713858.key
598659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
598768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5886369484422842290.proof.gz
598768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.8ns
598784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
602566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s
602598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5886369484422842290.proof.gz
602598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ms