Standard output
254644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command16993206185057251447.key
254644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 622.9ns
254646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
259340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s
259382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16993206185057251447.key
259391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
259392 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
259457 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
259483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command2862407204705765660.key
259483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.2ns
259484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
264061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s
264098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2862407204705765660.key
264100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
264101 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
264132 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''