real 11.56
user 17.19
sys 5.93