Hi Everyone, I want to run some benchmarks on GCC135, which is the ppc64-le machine with Power9 hardware. /proc/cpuinfo is showing me some suspiciously low numbers, like 2166 MHz. I'm guessing the machine is closer ot 3 GHz and probably higher. (GCC119 is 4.1 GHz). Does anyone know what the nominal and max CPU speeds are? Jeff