real 11.34
user 17.20
sys 5.96