real 12.26
user 17.43
sys 6.40