grep 'Timing for main' rsl.error.0000 | tail -149 | awk '{print $9}' | awk -f stats.awk

t1=`grep 'Timing for Writing ' rsl.error.0000 | awk '{print $8}'`;
printf "%-15s" "    Write:" 
printf "%-15s" "    $t1" 
echo ""
