Standard output
475694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest9476883400024255140.key
475694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.6ns
475695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
475831 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
475831 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
475832 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
475832 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
476389 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
480314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s
480334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9476883400024255140.key
480336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
480443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest9325465493699224357.proof.gz
480444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 705.53ns
480446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
483484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s
483500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9325465493699224357.proof.gz
483506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.93ms