gawkで{}という正規表現を利用するには

引数で'--posix'っていうのが必要．ハマった．

>gawk --posix '/: {1,11}[kjsa]/{print}' log

なんで必要だったかは後日．