Filesystem      1K-blocks     Used Available Use% Mounted on
udev              8185392        4   8185388   1% /dev
tmpfs             1639580     1056   1638524   1% /run
/dev/sda9      1010542716 87142896 872044180  10% /
none                    4        0         4   0% /sys/fs/cgroup
none                 5120        0      5120   0% /run/lock
none              8197888       96   8197792   1% /run/shm
none               102400       52    102348   1% /run/user
/dev/sda2           98304    28809     69495  30% /boot/efi