A better parameter would be MAX_POOL_SIZE returned by `getMaxPoolSize`but in our specific case it won't matter as we set core pool size and max pool size to be equal.