Standard output
661820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest17664103211272919109.key
661820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.3ns
661822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
662031 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
662032 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
662032 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
662032 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
662733 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
667475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.65s
667496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17664103211272919109.key
667499 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.6ns
667606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest5302854402433583913.proof.gz
667606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 630ns
667610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
672111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s
672130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5302854402433583913.proof.gz
672138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.72ms