real 11.58
user 17.24
sys 6.05