Standard output
173007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command9534775942538877254.key
173007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.2ns
173008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
175998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s
176047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9534775942538877254.key
176050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
176051 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
176077 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
176089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command3397915039903569788.key
176089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.9ns
176090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
179100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s
179130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3397915039903569788.key
179133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
179133 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
179148 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''