Standard output
498265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest14883750495214923298.key
498266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87ns
498266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
498396 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
498396 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
498396 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
498397 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
499085 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
503133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s
503157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14883750495214923298.key
503159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
503266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest2178508052826191996.proof.gz
503267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 719.7ns
503269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
506569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2178508052826191996.proof.gz
506575 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.27ms