Standard output
537285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5067504666461150469.key
537285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.2ns
537285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
537440 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
537440 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
537440 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
537440 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
538081 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
542536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s
542865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5067504666461150469.key
542880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
542990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest959297578760911421.proof.gz
543006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 592.8ns
543006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
546398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
546414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest959297578760911421.proof.gz
546430 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.69ms