488.42user 160.99system 13:46.82elapsed 78%CPU (0avgtext+0avgdata 53908maxresident)k
487.01user 162.64system 13:48.69elapsed 78%CPU (0avgtext+0avgdata 53788maxresident)k
487.18user 161.72system 13:47.54elapsed 78%CPU (0avgtext+0avgdata 53672maxresident)k
