Standard output
699756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest18110919548837525163.key
699756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.3ns
699757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
699954 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
699954 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
699955 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
699955 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
700760 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
705937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.18s
705957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18110919548837525163.key
705959 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns
706169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest12179114270816192442.proof.gz
706170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.33ms
706172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
710927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s
710945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12179114270816192442.proof.gz
710955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.68ms