Filesystem     1K-blocks    Used Available Use% Mounted on
udev             3770800       0   3770800   0% /dev
tmpfs             758576    9816    748760   2% /run
/dev/sda3       56374604 5513908  47973992  11% /
tmpfs            3792876     240   3792636   1% /dev/shm
tmpfs               5120       4      5116   1% /run/lock
tmpfs            3792876       0   3792876   0% /sys/fs/cgroup
/dev/sda1         523248   50936    472312  10% /boot/efi
tmpfs             758576     128    758448   1% /run/user/1000