Standard output
437605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest18349040927094424395.key
437606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.9ns
437606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
437727 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
437728 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
437729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
437730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
438375 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
441698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s
441717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18349040927094424395.key
441719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
441825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest14961185318562069111.proof.gz
441826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.1ns
441827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
444803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s
444816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14961185318562069111.proof.gz
444827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ms