Standard output
481616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest6244359317491200144.key
481616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.2ns
481617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
481782 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
481783 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
481783 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
481783 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
482329 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
485844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s
485869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6244359317491200144.key
485870 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
485982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest15686554567093194877.proof.gz
485983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 705.41ns
485984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
489121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s
489140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15686554567093194877.proof.gz
489147 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.02ms