real 12.68
user 26.22
sys 4.27