Standard output
507873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest10476176867355865985.key
507873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.7ns
507874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
508005 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
508005 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
508006 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
508006 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
508612 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
512359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s
512378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10476176867355865985.key
512380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.3ns
512487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest17584166036094163953.proof.gz
512488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 918.3ns
512490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
515888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
515906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17584166036094163953.proof.gz
515914 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ms