$ export TIME='%Uu %Ss %E %P %X+%Dk %I+%Oio %Fpf+%Ww'
$ /usr/bin/time ./pa < data1 > /dev/null

1.01u 0.22s 0:02.50 67% 0+104k 3+5io 14pf+0w

$ /usr/bin/time ./pb < data1 > /dev/null

6.02u 0.14s 0:07.32 90% 0+80k 2+5io 13pf+0w

$ /usr/bin/time ./pc < data1 > /dev/null

2.23u 0.23s 0:03.05 75% 0+72k 2+5io 13pf+0w