Standard output
509292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest15697781737192868692.key
509292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.2ns
509293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
509442 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
509443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
509443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
509443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510071 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
513961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s
513987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15697781737192868692.key
514001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
514241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest7462468904395603787.proof.gz
514241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.4ns
514243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
518112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s
518134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7462468904395603787.proof.gz
518140 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ms