real 12.46
user 17.11
sys 6.45