Standard output
635857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest13077399726878739849.key
635858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 376.1ns
635859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
636105 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
636105 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
636106 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
636106 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
637083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
642009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.15s
642034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13077399726878739849.key
642036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
642144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest13904510622069061464.proof.gz
642145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 633.9ns
642146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
646357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s
646377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13904510622069061464.proof.gz
646381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.39ms