Standard output
619700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest101448831202913683.key
619702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2ms
619703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
619946 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
619947 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
619948 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
619948 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
620964 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
625731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.03s
625752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest101448831202913683.key
625754 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
625966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest6047490301122355169.proof.gz
625967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 652.74ns
625969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
630043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s
630063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6047490301122355169.proof.gz
630068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.27ms