>>949
私も以前 同じような経験をして、不思議に思ったことがあった。
で、以下のような具合に、定量的に確かめてみて 納得した。
上のdfの出力から、
$ echo "scale=2;(961432072-912977316)/961432072*100" | bc
で、5.00(%)。
デフォルトのroot予約領域か... とガッテン。

ext2/ext3 なら tune2fs -m <reserved_blocks_percent> <device>
で予約領域を設定することができる。
# 実は、つい最近知った。
ext4は まだ使ってないから よく知らない。
この程度とっかかりがあれば、あなたならぐぐって見つけられるだろう。
# しかし、50GBのリダンダントな領域って…
# オラが使ってる起動disk、丸々呑み込まれてるよ… orz

> 既婚者同士で語るスレ３
これ、たぶん、お盆休みのシス管さんとかが見てるんだろーなー…