Filesystem     1K-blocks      Used Available Use% Mounted on
udev             1965616         4   1965612   1% /dev
tmpfs             396288      1568    394720   1% /run
/dev/sda4      949573740 483883616 417431464  54% /
none                   4         0         4   0% /sys/fs/cgroup
none                5120         0      5120   0% /run/lock
none             1981436    323968   1657468  17% /run/shm
none              102400        52    102348   1% /run/user
/dev/sda1         507904     17656    490248   4% /boot/efi