Ok, erstmal danke für die Tips. Bin gleich erstmal raus.
Thema
RAM: Ich weiß ehrlich gesagt nicht mal, was man noch zusätzlich reinstecken könnte. Mach mir aber wenig Hoffnunug.
Neuaufsetzen: Wir waren etwas konservativer und haben gestern mal rebootet. Nun läuft er wieder einigermaßen. Neuaufsetzen wäre eine Möglichkeit, aber macht nur beschränkt Sinn, wenn das Teil einen Hardware Defekt hat.
Es geht mir wie gesagt zunächst nicht um Tuning, sondern um Ursachenforschung. SysInternals werde ich mal durchstöbern.