From Machine 1 (the HOT one)
dev.cpu.0.freq_levels: 2667/27000 2333/23625 2000/13800 1750/12075 1500/10350 1250/8625 1000/6900 750/5175 500/3450 250/1725
dev.cpu.0.cx_supported: C1/0 C2/1 C3/35
dev.cpu.0.cx_lowest: C2
dev.cpu.0.cx_usage: 0.00% 100.00% 0.00% last 223us
dev.cpu.1.cx_supported: C1/0 C2/1 C3/35
dev.cpu.1.cx_lowest: C3
dev.cpu.1.cx_usage: 0.00% 54.03% 45.96% last 106us
dev.cpu.2.cx_supported: C1/0 C2/1 C3/35
dev.cpu.2.cx_lowest: C3
dev.cpu.2.cx_usage: 0.00% 49.26% 50.73% last 143us
dev.cpu.3.cx_supported: C1/0 C2/1 C3/35
dev.cpu.3.cx_lowest: C3
dev.cpu.3.cx_usage: 0.00% 54.53% 45.46% last 90us
dev.cpu.0.temperature: 52.0C
dev.cpu.1.temperature: 50.0C
dev.cpu.2.temperature: 64.0C
dev.cpu.3.temperature: 64.0C
sysctl -a | grep -i cpu
kern.ccpu: 0
<cpu count="4" mask="0xf">0, 1, 2, 3</cpu>
<cpu count="2" mask="0x3">0, 1</cpu>
<cpu count="2" mask="0xc">2, 3</cpu>
kern.smp.cpus: 4
kern.smp.maxcpus: 32
debug.cpufreq.verbose: 0
debug.cpufreq.lowest: 0
debug.kdb.stop_cpus: 1
hw.model: Intel(R) Xeon(R) CPU 5150 @ 2.66GHz
hw.ncpu: 4
hw.acpi.cpu.cx_lowest: C1
machdep.hlt_cpus: 0
security.jail.param.cpuset.id: 0
dev.cpu.0.%desc: ACPI CPU
dev.cpu.0.%driver: cpu
dev.cpu.0.%location: handle=\_PR_.CPU0
dev.cpu.0.%pnpinfo: _HID=none _UID=0
dev.cpu.0.%parent: acpi0
dev.cpu.0.temperature: 52.0C
dev.cpu.0.freq: 2667
dev.cpu.0.freq_levels: 2667/27000 2333/23625 2000/13800 1750/12075 1500/10350 1250/8625 1000/6900 750/5175 500/3450 250/1725
dev.cpu.0.cx_supported: C1/0 C2/1 C3/35
dev.cpu.0.cx_lowest: C2
dev.cpu.0.cx_usage: 0.00% 100.00% 0.00% last 78us
dev.cpu.1.%desc: ACPI CPU
dev.cpu.1.%driver: cpu
dev.cpu.1.%location: handle=\_PR_.CPU1
dev.cpu.1.%pnpinfo: _HID=none _UID=0
dev.cpu.1.%parent: acpi0
dev.cpu.1.temperature: 51.0C
dev.cpu.1.cx_supported: C1/0 C2/1 C3/35
dev.cpu.1.cx_lowest: C3
dev.cpu.1.cx_usage: 0.00% 54.18% 45.81% last 55us
dev.cpu.2.%desc: ACPI CPU
dev.cpu.2.%driver: cpu
dev.cpu.2.%location: handle=\_PR_.CPU2
dev.cpu.2.%pnpinfo: _HID=none _UID=0
dev.cpu.2.%parent: acpi0
dev.cpu.2.temperature: 64.0C
dev.cpu.2.cx_supported: C1/0 C2/1 C3/35
dev.cpu.2.cx_lowest: C3
dev.cpu.2.cx_usage: 0.00% 49.34% 50.65% last 54us
dev.cpu.3.%desc: ACPI CPU
dev.cpu.3.%driver: cpu
dev.cpu.3.%location: handle=\_PR_.CPU3
dev.cpu.3.%pnpinfo: _HID=none _UID=0
dev.cpu.3.%parent: acpi0
dev.cpu.3.temperature: 64.0C
dev.cpu.3.cx_supported: C1/0 C2/1 C3/35
dev.cpu.3.cx_lowest: C3
dev.cpu.3.cx_usage: 0.00% 54.74% 45.25% last 52us
dev.acpi_perf.0.%parent: cpu0
dev.acpi_perf.1.%parent: cpu1
dev.acpi_perf.2.%parent: cpu2
dev.acpi_perf.3.%parent: cpu3
dev.coretemp.0.%desc: CPU On-Die Thermal Sensors
dev.coretemp.0.%parent: cpu0
dev.coretemp.1.%desc: CPU On-Die Thermal Sensors
dev.coretemp.1.%parent: cpu1
dev.coretemp.2.%desc: CPU On-Die Thermal Sensors
dev.coretemp.2.%parent: cpu2
dev.coretemp.3.%desc: CPU On-Die Thermal Sensors
dev.coretemp.3.%parent: cpu3
dev.est.0.%parent: cpu0
dev.est.1.%parent: cpu1
dev.est.2.%parent: cpu2
dev.est.3.%parent: cpu3
dev.cpufreq.0.%driver: cpufreq
dev.cpufreq.0.%parent: cpu0
dev.cpufreq.1.%driver: cpufreq
dev.cpufreq.1.%parent: cpu1
dev.cpufreq.2.%driver: cpufreq
dev.cpufreq.2.%parent: cpu2
dev.cpufreq.3.%driver: cpufreq
dev.cpufreq.3.%parent: cpu3
dev.p4tcc.0.%desc: CPU Frequency Thermal Control
dev.p4tcc.0.%parent: cpu0
dev.p4tcc.1.%desc: CPU Frequency Thermal Control
dev.p4tcc.1.%parent: cpu1
dev.p4tcc.2.%desc: CPU Frequency Thermal Control
dev.p4tcc.2.%parent: cpu2
dev.p4tcc.3.%desc: CPU Frequency Thermal Control
dev.p4tcc.3.%parent: cpu3
powerd: unable to determine AC line status
load 7%, current freq 2667 MHz ( 0), wanted freq 2583 MHz
load 14%, current freq 2667 MHz ( 0), wanted freq 2502 MHz
load 108%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 101%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 91%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 21%, current freq 2667 MHz ( 0), wanted freq 5167 MHz
load 104%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 12%, current freq 2667 MHz ( 0), wanted freq 5167 MHz
load 6%, current freq 2667 MHz ( 0), wanted freq 5005 MHz
load 45%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 100%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 111%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 37%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 48%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 73%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 25%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 17%, current freq 2667 MHz ( 0), wanted freq 5167 MHz
load 75%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 108%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 104%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 12%, current freq 2667 MHz ( 0), wanted freq 5167 MHz
load 79%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 37%, current freq 2667 MHz ( 0), wanted freq 5334 MHz
load 15%, current freq 2667 MHz ( 0), wanted freq 5167 MHz
load 23%, current freq 2667 MHz ( 0), wanted freq 5005 MHz
from "Display System Processes"
1655 root 1 44 0 6772K 1252K select 1 0:48 0.00% powerd