557.47user 234.44system 15:16.95elapsed 86%CPU (0avgtext+0avgdata 53796maxresident)k
555.73user 229.72system 15:09.55elapsed 86%CPU (0avgtext+0avgdata 53836maxresident)k
550.10user 230.08system 15:04.58elapsed 86%CPU (0avgtext+0avgdata 53780maxresident)k
