Standard output
237297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command11586001970226280600.key
237297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.31ns
237298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
241373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s
241409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11586001970226280600.key
241416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
241417 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
241498 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
241546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command17026284609629359192.key
241546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.11ns
241548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
245662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s
245694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17026284609629359192.key
245696 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
245696 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
245711 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''