Standard output
451020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest9340565261071520238.key
451020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.3ns
451021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
451176 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
451176 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
451177 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
451178 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
451789 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
455118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s
455136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9340565261071520238.key
455138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
455243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest11134614322344033348.proof.gz
455244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 622.6ns
455245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
458314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
458330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11134614322344033348.proof.gz
458336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ms