Standard output
184660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command16012332166508562040.key
184661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 573.4ns
184662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
187868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
187904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16012332166508562040.key
187906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
187907 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
187952 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
187969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command8742999647594367912.key
187970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 929.61ns
187972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
191089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
191122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8742999647594367912.key
191124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
191124 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
191136 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''