I tried your command line. It was very fast, the output was readable, but the output
image was the same as the input image, i.e. the red areas were not inpainted.
Is the div/mul value 257 correct.
Should I tweak the values in --select 0,255,0,0?
Daniel