Standard output
448560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest9441939945429809022.key
448560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.2ns
448561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
448677 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
448677 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
448678 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
448678 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
449289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
452610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s
452628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9441939945429809022.key
452630 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
452837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest8680923266894239251.proof.gz
452838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 936.61ns
452840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
455911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
455928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8680923266894239251.proof.gz
455936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ms