561.83user 271.31system 15:48.78elapsed 87%CPU (0avgtext+0avgdata 53860maxresident)k
537.31user 266.96system 14:04.82elapsed 95%CPU (0avgtext+0avgdata 53900maxresident)k
605.62user 316.19system 16:15.68elapsed 94%CPU (0avgtext+0avgdata 53804maxresident)k
