Filesystem     1K-blocks    Used Available Use% Mounted on
udev             3995468       0   3995468   0% /dev
tmpfs             804720    1844    802876   1% /run
/dev/sda3      462186360 8380704 430258164   2% /
tmpfs            4023584  159684   3863900   4% /dev/shm
tmpfs               5120       4      5116   1% /run/lock
tmpfs            4023584       0   4023584   0% /sys/fs/cgroup
/dev/sda1         523248    8036    515212   2% /boot/efi
tmpfs             804716     124    804592   1% /run/user/1000