652.97user 265.17system 20:17.61elapsed 75%CPU (0avgtext+0avgdata 53956maxresident)k
649.03user 265.36system 20:18.58elapsed 75%CPU (0avgtext+0avgdata 53776maxresident)k
644.06user 263.74system 20:18.07elapsed 74%CPU (0avgtext+0avgdata 53704maxresident)k
