Warmup with a different mix from the original query mix

[szarnyasg]

Warming up could be performed with a different mix than what is measured: maybe warmups should have more reads.
This could lead to a quicker warmup. However, it would not lead to a real steady-state so it's not an obvious tradeoff.

[szarnyasg]

In retrospect, this idea is probably not worth implementing.