These temperatures seems too high for idle processors but too low for 100% load processors to me :S

BTW what is the vcore for your overclock @ 4GHz?