Standard output
450719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest12143868511144126627.key
450719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.2ns
450720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
450837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
450837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
450837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
450838 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
451467 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
454716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s
454733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12143868511144126627.key
454735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
454841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest9009819139110829815.proof.gz
454842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 731.7ns
454843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
457783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
457799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9009819139110829815.proof.gz
457805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.25ms