5.67user 0.08system 0:05.52elapsed 104%CPU (0avgtext+0avgdata 275044maxresident)k
0inputs+400outputs (0major+8802minor)pagefaults 0swaps
