Standard output
458545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest3693584419595962636.key
458545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.21ns
458546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
458809 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
458809 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
458809 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
458809 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
462898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s
462948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3693584419595962636.key
462950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
463169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest2952312611746825589.proof.gz
463170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.81ns
463171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
466528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
466544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2952312611746825589.proof.gz
466551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.47ms