real 12.19
user 17.56
sys 6.30