Standard output
497854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest5282989813468564369.key
497854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.7ns
497855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497990 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497990 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497990 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
497990 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
498668 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
502423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s
502443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5282989813468564369.key
502444 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
502651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest5007323115804800477.proof.gz
502651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 669.8ns
502653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
506129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5007323115804800477.proof.gz
506137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.65ms