Standard output
502831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest5006380114360015444.key
502831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.1ns
502832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503050 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503050 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503053 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503053 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503652 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
507426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s
507474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5006380114360015444.key
507476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
507700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest16757117423776903056.proof.gz
507701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 816.99ns
507702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
511231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s
511251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16757117423776903056.proof.gz
511257 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.83ms