Standard output
627933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest2016664866639209578.key
627933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.51ns
627934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
628090 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628090 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628090 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628090 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
628822 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
633339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s
633359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2016664866639209578.key
633361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
633470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest18246089511965203721.proof.gz
633470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.12ns
633472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
637805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s
637823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18246089511965203721.proof.gz
637829 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.07ms