Standard output
600885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest8283969496251127164.key
600885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.8ns
600901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
601057 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
601057 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
601057 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
601057 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
601649 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
606029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s
606060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8283969496251127164.key
606060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
606185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14352204018649992505.proof.gz
606201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434ns
606201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
610211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s
610226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14352204018649992505.proof.gz
610226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.37ms