Standard output
453392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest13645710208592207325.key
453392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74ns
453393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
453526 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
453526 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
453527 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
453527 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
454060 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
457440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s
457463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13645710208592207325.key
457465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
457573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest4989107230811288190.proof.gz
457582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 9.64ms
457584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
460700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
460718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4989107230811288190.proof.gz
460722 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.17ms