Filesystem     1K-blocks    Used Available Use% Mounted on
tmpfs             710632    1532    709100   1% /run
/dev/sda1       12002884 7582576   4403924  64% /
tmpfs            3553148       0   3553148   0% /dev/shm
tmpfs               5120       4      5116   1% /run/lock
/dev/sda15        106858    5329    101529   5% /boot/efi
tmpfs             710628      80    710548   1% /run/user/127
tmpfs             710628     160    710468   1% /run/user/1000