Filesystem     1K-blocks    Used Available Use% Mounted on
udev              953636       0    953636   0% /dev
tmpfs             196828    1452    195376   1% /run
/dev/sda1       12013044 7720728   4275932  65% /
tmpfs             984132       0    984132   0% /dev/shm
tmpfs               5120       0      5120   0% /run/lock
tmpfs             984132       0    984132   0% /sys/fs/cgroup
/dev/sda15        106858    9359     97500   9% /boot/efi
tmpfs             196824      24    196800   1% /run/user/125
tmpfs             196824      28    196796   1% /run/user/1000