Filesystem     1K-blocks    Used Available Use% Mounted on
/dev/sda10      20075784 4538648  14494296  24% /
none                   4       0         4   0% /sys/fs/cgroup
udev             1909540       4   1909536   1% /dev
tmpfs             384052    1240    382812   1% /run
none                5120       0      5120   0% /run/lock
none             1920240   20572   1899668   2% /run/shm
none              102400      52    102348   1% /run/user
/dev/sda2         303104   89208    213896  30% /boot/efi