It may not be overclocked – it is probably running with Intel’s Turbo Boost technology that allows the cores to run at higher clock speeds when the system can tolerate it. This is quite normal. You can make sure your settings are correct by.