Standard output
485638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest3508126666805847143.key
485638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.8ns
485638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
485770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
485770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
485771 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
485771 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
486326 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
490233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s
490273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3508126666805847143.key
490278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
490502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest11893998305019523473.proof.gz
490503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 716.21ns
490505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
493863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
493884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11893998305019523473.proof.gz
493892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.91ms