20fps bei voller Bildschirmauflösung ist schon recht heftig. Da es sich dabei aber wohl nur um leicht delta-codierbare Bildinformation handelt, wird das encoding recht gut gehen. Falls es nicht echtzeitfähig sein muss, kann man auch alle frames als jpeg speichern und mencoder dazu heranziehen, siehe
http://electron.mit.edu/~gsteele/ffmpeg/