Standard output
484454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest31136329905693895.key
484455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.8ns
484456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
484706 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
484707 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
484708 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
484708 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
485277 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
488923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s
488946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest31136329905693895.key
488948 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
489059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest7984474287481927315.proof.gz
489060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 969.21ns
489061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
492300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
492316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7984474287481927315.proof.gz
492322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.03ms