I put them on ignore as soon as such patterns of behavior reveal themselves. I find zero value in reading these people and (how is this not clear?) only negative value in "arguing" with them.
I put vicious, insulting people on ignore only if I can't come up with a great comeback. Consequently, I've never put anyone on ignore.
I truly don't understand why members engage with these trolls.