awk $1 == "May" && $5 ~ /pppd/ && $7 ~ /^time/ { time+= $8 } END { print time} messages
