real 12.53
user 17.12
sys 6.22