Tach,
mir ist im Taskmanager gerade aufgefallen, dass nur zwei der vier Kerne angezeigt werden. Ich nehme mal an, dass damit auch nur diese 2 Kerne vom System genutzt werden. Im Gerätemanager wiederum werde alle 4 Cores angezeigt. Unter msconfig lassen sich in den erweiterten Starteinstellungen...