The configuration setting
performance mentioned here https://www.mapd.com/docs/latest/getting-started/performance/#hardware
For a production server, set the performance setting to performance rather than power saving. The performance setting is typically controlled by the system BIOS and prevents throttling back of the CPU. You also have to change the settings in the Linux power governor setup.
There are a few similar issues. Where can we find all configuration settings?