Standard output
187022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command17522080151196152410.key
187023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 507.1ns
187024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
190296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
190338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17522080151196152410.key
190346 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
190347 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
190394 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
190410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command6414935915600722489.key
190410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.6ns
190411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
193622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
193659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6414935915600722489.key
193661 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
193662 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
193672 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''