real 10.57
user 17.46
sys 6.55