timing execution of piped commands

serv:~# time bash -c "cat b|mysql --defaults-file=/etc/mysql/debian.cnf data > /dev/null "

real    0m16.968s
user    0m6.136s
sys     0m0.232s