Filesystem     1K-blocks     Used Available Use% Mounted on
tmpfs             384012     1960    382052   1% /run
/dev/sda3      479077064 13020332 441647440   3% /
tmpfs            1920056     3852   1916204   1% /dev/shm
tmpfs               5120        4      5116   1% /run/lock
/dev/sda2         524252     6216    518036   2% /boot/efi
tmpfs             384008     2480    381528   1% /run/user/1000