Standard output
729023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest15923860996546138763.key
729023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.7ns
729024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
729279 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
729280 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
729281 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
729281 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
730068 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
735381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.36s
735403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15923860996546138763.key
735405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
735515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest11863769393124991835.proof.gz
735516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 825ns
735517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
740450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s
740467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11863769393124991835.proof.gz
740474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ms