I noticed that your sample $s is a non-matching one.

Did you take that on purpose to emphasise on cutting off backtracking in the failing case?

I did. Because it's a well known fact (see the owl book AKA Jeffrey Friedl's "Mastering Regular Expressions", for example) that the pathetic case typically rears its ugly head when matches fail. That was the case in my Javascript code, too.