537.09user 225.50system 14:40.90elapsed 86%CPU (0avgtext+0avgdata 53788maxresident)k
538.43user 224.52system 14:41.43elapsed 86%CPU (0avgtext+0avgdata 53856maxresident)k
454.30user 185.06system 11:18.64elapsed 94%CPU (0avgtext+0avgdata 53904maxresident)k
