Filesystem     1K-blocks    Used Available Use% Mounted on
udev             3971468       0   3971468   0% /dev
tmpfs             800724    9808    790916   2% /run
/dev/sda3       39025088 6263464  30756172  17% /
tmpfs            4003612    8444   3995168   1% /dev/shm
tmpfs               5120       4      5116   1% /run/lock
tmpfs            4003612       0   4003612   0% /sys/fs/cgroup
/dev/sda1         763904   59280    704624   8% /boot/efi
tmpfs             800724      72    800652   1% /run/user/1001