real 12.93
user 17.26
sys 6.29