Standard output
365463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest5213408326340750916.key
365463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.4ns
365464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
365556 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
365556 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
365557 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
365557 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
365939 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
368691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s
368709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5213408326340750916.key
368711 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
368818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest12956768273883570329.proof.gz
368824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.36ms
368829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
371375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s
371390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12956768273883570329.proof.gz
371394 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.26ms