Standard output
530806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest6792396735173478937.key
530806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.8ns
530807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
530958 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
530958 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
530959 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
530959 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
531562 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
535750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s
535815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6792396735173478937.key
535817 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
536042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest497763958922518476.proof.gz
536043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 583.7ns
536045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
539831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s
539851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest497763958922518476.proof.gz
539858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.94ms