Standard output
200337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command695010266436701161.key
200338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 565.6ns
200339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
203869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s
203908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command695010266436701161.key
203911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
203912 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
203942 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
203956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command12964603897827079594.key
203957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361.5ns
203958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
207475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s
207511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command12964603897827079594.key
207514 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
207515 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
207527 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''