Standard output
185885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command12684754745980255428.key
185885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.4ns
185887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
189187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
189224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command12684754745980255428.key
189227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
189230 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
189274 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
189287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command9249452366165175436.key
189287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.6ns
189288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
192451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9249452366165175436.key
192454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
192456 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
192475 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''