3830.58user 4.40system 15:46.73elapsed 405%CPU (0avgtext+0avgdata 2825812maxresident)k
0inputs+1592outputs (0major+32176minor)pagefaults 0swaps
