Уменьшить размер видео?
Для этого годится любой конвертор видео, например, Format Factory. Также можно воспользоваться любым видеоредактором, умеющим экспорт (скажем, Sony Vegas).  Открываешь в одном формате, экспортируешь в любой другой, или в тот же, но с уменьшенным пиксельным размером кадра, либо с уменьшенной кадровой частотой.
взять ffmpeg.exe и нагуглить пару команд для требуемого качества сжатия