had the same problem, also tryed several programs.
asyncread and syphon recorder worked best.
but it was not smooth enough for my needs.
i also had dropped frames which caused stuttering ...
so i ended with the ninja from atomos recording my hdmi output.
http://www.atomos.com/ninja/
the ninja itself has an input and output, so you can display your image while recording it.
supported formats:
1080i60, 1080i59.94, 1080i50, 1080p30, 1080p25, 1080p24, 1080p23.98, 1080pSF23.98, 1080pSF24, 1080pSF25, 1080pSF30,
or you can try a second computer with a hdmi input card.
petcode