548.06user 234.30system 15:05.80elapsed 86%CPU (0avgtext+0avgdata 53896maxresident)k
548.32user 235.75system 15:05.67elapsed 86%CPU (0avgtext+0avgdata 53800maxresident)k
551.57user 230.68system 15:05.59elapsed 86%CPU (0avgtext+0avgdata 53800maxresident)k
