real 10.84
user 18.46
sys 6.20