Standard output
390632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest250766326243747766.key
390632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.2ns
390633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
390747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
391180 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
394176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
394195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest250766326243747766.key
394198 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
394305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest6249836158991995901.proof.gz
394306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 674.4ns
394307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
396813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s
396827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6249836158991995901.proof.gz
396831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.45ms