489.28user 160.09system 13:47.91elapsed 78%CPU (0avgtext+0avgdata 53776maxresident)k
408.99user 129.96system 10:29.84elapsed 85%CPU (0avgtext+0avgdata 53828maxresident)k
489.23user 158.63system 13:46.21elapsed 78%CPU (0avgtext+0avgdata 65700maxresident)k
