>402がいってるように、markのフラッシュのタイミングが問題だったんですかね…。

ならば >>381 で問題なしだと思うんだけど…。
mawk って fflush() でフラッシュしないの?