Standard output
741892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest1058739838953839049.key
741893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.6ns
741893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
742130 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
742130 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
742130 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
742130 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
742881 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
748138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.25s
748172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1058739838953839049.key
748174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns
748396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest11238462009965750010.proof.gz
748397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 615.71ns
748399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
753261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s
753283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11238462009965750010.proof.gz
753289 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.87ms