В порядке моих предпочтений (от наиболее предпочтительного до наименее предпочтительного) для этой спецификации c вариант использования:
awk '{sum+=$2} END{print "total: ",sum+0}' file.txt
или
awk '{sum+=$2} END{printf "total: %d\n",sum}' file.txt
или
awk 'BEGIN{sum=0} {sum+=$2} END{print "total: ",sum}' file.txt