4996.90user 5.02system 11:46.65elapsed 707%CPU (0avgtext+0avgdata 2756388maxresident)k
0inputs+1288outputs (0major+30439minor)pagefaults 0swaps
