Use seconds for proc.time

http://stat.ethz.ch/R-manual/R-devel/library/base/html/proc.time.html