Standard output
490162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest8893640428342701793.key
490162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92ns
490163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
490305 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490305 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490306 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490306 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490909 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
494652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s
494680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8893640428342701793.key
494682 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
494900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest261058953589840794.proof.gz
494901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 785.2ns
494903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
498293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
498313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest261058953589840794.proof.gz
498319 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.32ms