488.05user 162.47system 13:47.76elapsed 78%CPU (0avgtext+0avgdata 53912maxresident)k
488.67user 160.08system 13:46.60elapsed 78%CPU (0avgtext+0avgdata 53828maxresident)k
488.38user 161.38system 13:47.63elapsed 78%CPU (0avgtext+0avgdata 53900maxresident)k
