Standard output
473363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest12150879783554184500.key
473364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 398.3ns
473365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
473518 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
473519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
473519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
473520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474121 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
477789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s
477844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12150879783554184500.key
477851 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
478078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest410356064246789162.proof.gz
478079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 767.61ns
478081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
481135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s
481157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest410356064246789162.proof.gz
481164 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.11ms