real 13.21
user 26.52
sys 6.94