real 10.74
user 17.45
sys 6.34