2312.43user 4.31system 9:28.72elapsed 407%CPU (0avgtext+0avgdata 2559424maxresident)k
0inputs+1144outputs (0major+27787minor)pagefaults 0swaps
