wsmp optimal memory management defaults for linux