Standard output
662093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest1697543509767232049.key
662093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.3ns
662094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
662306 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
662306 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
662307 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
662307 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
663060 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
667847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.75s
667870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1697543509767232049.key
667872 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
667984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest2390356319425227594.proof.gz
667984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 731.89ns
667986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
672467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s
672486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2390356319425227594.proof.gz
672492 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ms