real 10.94
user 17.25
sys 6.29