Standard output
174805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command4411105616987341263.key
174805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.7ns
174807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
177798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s
177832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4411105616987341263.key
177834 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
177835 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
177866 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
177877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command7269613778172184841.key
177877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.7ns
177884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
180881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s
180917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7269613778172184841.key
180924 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
180926 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
180953 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''