Standard output
693348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest3814354953981230868.key
693348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.2ns
693349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
693541 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
693541 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
693541 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
693541 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
694376 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
699419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.07s
699447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3814354953981230868.key
699450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.1ns
699661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest7434088742656588011.proof.gz
699662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 861.11ns
699664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
704313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s
704370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7434088742656588011.proof.gz
704375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.48ms