Standard output
752869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest1516680361947649694.key
752869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.6ns
752870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
753071 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
753071 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
753072 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
753072 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
753972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
759356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.49s
759383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1516680361947649694.key
759386 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
759605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/keyZipTest2463769833902052425.proof.gz
759606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 787.31ns
759607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
764700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s
764724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2463769833902052425.proof.gz
764732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.64ms