On Fri, Jul 14, 2017 at 4:58 AM, Michael Albinus <michael.albinus@gmx.de> wrote:
> This means that the timer eats all resources. I've added an adaptive
> adjustment of the timer for this case, could you, pls, retest?

After this change the test passes for me.