I ask because: if usually the dev-mode shows the correct values, there is may be somewhat special with the laptop or there is a ‘special’ setting ( but , at this moment not sure which one this can be ).
Or… yes… may be some other application allocated vram and therefore its not shown. But that should not be in that way, I guess…