On Thu, May 27, 2004 at 04:21:38PM -0400, Will Cohen wrote:
# The actual benchmark being timed is below. /usr/bin/time /bin/cat `pwd`/jarg422.txt 2>> $RESULTS_FILE
You're profiling cat under gnome-terminal, not gnome-terminal + cat.
Wouldn't be better to run instead: /usr/bin/time gnome-terminal -x cat $PWD/jarg422.txt
$ /usr/bin/time /bin/cat /home/wcohen/jarg422.txt > /dev/null 0.00user 0.00system 0:00.57elapsed 0%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+106minor)pagefaults 0swaps $ /usr/bin/time /bin/cat /home/wcohen/jarg422.txt > /dev/null 0.00user 0.00system 0:00.00elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+105minor)pagefaults 0swaps $ /usr/bin/time /bin/cat /home/wcohen/jarg422.txt > /dev/null 0.00user 0.00system 0:00.00elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+104minor)pagefaults 0swaps $ /usr/bin/time /bin/cat /home/wcohen/jarg422.txt > /dev/null