Since others were suggesting mawk too, I just installed it and it was indeed faster than GNU awk: The task took about 7 seconds. Interesting enough: LANG=C inc

Since others were suggesting mawk too, I just installed it and it was indeed faster than GNU awk: The task took about 7 seconds. Interesting enough: LANG=C increased the performance of GNU awk a bit, but actually decreased the mawk performance.