Standard output
197494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command11660987828003153428.key
197494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159ns
197496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
200894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
200928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11660987828003153428.key
200930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
200931 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
200960 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
200972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command9914618454125997112.key
200972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.5ns
200973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
204309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s
204340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9914618454125997112.key
204342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
204343 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
204359 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''