real 10.57
user 17.43
sys 6.16