Filesystem             1K-blocks    Used Available Use% Mounted on
udev                     3990520       0   3990520   0% /dev
tmpfs                     803532    9536    793996   2% /run
/dev/sda1              472464656 5062280 443379440   2% /
tmpfs                    4017652     288   4017364   1% /dev/shm
tmpfs                       5120       4      5116   1% /run/lock
tmpfs                    4017652       0   4017652   0% /sys/fs/cgroup
tmpfs                     803532      52    803480   1% /run/user/1000
/home/michael/.Private 472464656 5062280 443379440   2% /home/michael