real 11.44
user 17.35
sys 6.20