483.38user 200.66system 12:10.50elapsed 93%CPU (0avgtext+0avgdata 53932maxresident)k
551.14user 228.26system 14:57.34elapsed 86%CPU (0avgtext+0avgdata 53860maxresident)k
550.80user 231.42system 15:02.63elapsed 86%CPU (0avgtext+0avgdata 53948maxresident)k
