Standard output
196564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command6332701454286325268.key
196565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 639.61ns
196567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
200034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
200075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6332701454286325268.key
200078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
200080 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
200111 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
200125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command8880133719374701258.key
200125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531ns
200127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
203463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s
203542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8880133719374701258.key
203545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.1ns
203546 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
203563 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''