よく読んでみたら圧縮時間を調節するオプションあったわ。常識的な圧縮時間でそこそこの縮み具合になったわ。