real 12.81
user 17.06
sys 6.32