Standard output
771319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest10459941913082835323.key
771319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns
771320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
771552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
771553 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
771553 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
771554 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
772515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
778351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.03s
778385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10459941913082835323.key
778388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
778598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest8037073773978657063.proof.gz
778599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 686.6ns
778601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
784006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s
784035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8037073773978657063.proof.gz
784052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.42ms