real 10.57
user 17.24
sys 6.27