I am sorry, should have been Please also check the diskusage for /home/user mount without options does tell you which device and which directory are mounted where.

Everything is mounted where it should be for /home and /opt, but the partition is full. Could be /home/user or /opt, so please check with the above command, which one is the culprit for wasting your valuable space.