Finding the 10 Most Frequent Error Lines in a 5 GB Syslog with awk in a Few Seconds