Ich schulde euch noch die Auflösung des Problems. "Samsung Magician", Samsungs Standard-SSD-Config-Tool, erlaubt die Aktivierung eines sogenannten Rapid Modes. Dieser nutzt den RAM als Schreibcache und resultiert in den gängigen Benchmarks dann in unerhört schnellen Read/Write-Bilanzen, die meine SSD eigentlich gar nicht leisten dürfte. Tatschlich hält sich der praktische Nutzen in Grenzen, schlimmstenfalls ist der RM kontraproduktiv. Jedenfalls alloziert das Feature eben eine ganze Menge RAM. Hätte ich mich vor der Aktivierung ordentlich informiert, wäre das Mysterium keines gewesen. Abschließende Diagnose: PEBKAC (Problem exists between keyboard and chair)