Standard output
365985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest9233065851197559944.key
365985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.8ns
365985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
366083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
366083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
366083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
366083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
366450 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
369383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
369404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9233065851197559944.key
369405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns
369514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest5607163415762305904.proof.gz
369514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 497.5ns
369516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
371899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.38s
371915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5607163415762305904.proof.gz
371918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.72ms