real 12.43
user 17.08
sys 6.32