Standard output
434454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest12266118367329549416.key
434454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.6ns
434455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
434576 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
434576 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
434577 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
434577 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
435165 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
438466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s
438483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12266118367329549416.key
438484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
438690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest2051025162680928020.proof.gz
438690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 664.4ns
438692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
441567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s
441587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2051025162680928020.proof.gz
441593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.67ms