Ben Gamari authored May 30, 2019 and Marge Bot committed Jun 10, 2019

As noted in #16224, CPUTime001 has been quite problematic, reporting
non-monotonic timestamps in CI. Unfortunately I've been unable to
reproduce this locally.