39.77user 0.16system 0:20.65elapsed 193%CPU (0avgtext+0avgdata 579876maxresident)k
0inputs+424outputs (0major+12002minor)pagefaults 0swaps
