Filesystem     1K-blocks    Used Available Use% Mounted on
udev             3995584       0   3995584   0% /dev
tmpfs             803432    9696    793736   2% /run
/dev/sda3      460653624 7284104 429946596   2% /
tmpfs            4017140   58956   3958184   2% /dev/shm
tmpfs               5120       4      5116   1% /run/lock
tmpfs            4017140       0   4017140   0% /sys/fs/cgroup
/dev/sda1         610304   37360    572944   7% /boot/efi
tmpfs             803432      72    803360   1% /run/user/1001