Standard output
457084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest1440230206791312704.key
457084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.9ns
457085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
457207 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
457207 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
457207 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
457207 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
457801 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
461240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s
461258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1440230206791312704.key
461259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
461366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest4245791334114280630.proof.gz
461366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 707.01ns
461368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
464405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s
464421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4245791334114280630.proof.gz
464426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.83ms