Standard output
430589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest17367875124416297181.key
430589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.4ns
430590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
430700 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
430700 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
430701 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
430701 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
431374 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
434759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s
434777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17367875124416297181.key
434778 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
434891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest14460125526272270739.proof.gz
434891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 651.41ns
434893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
437686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s
437702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14460125526272270739.proof.gz
437707 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.88ms