7 wallclock secs ( 6.40 usr +  0.01 sys =  6.41 CPU)
9 wallclock secs ( 9.06 usr +  0.00 sys =  9.06 CPU)