real 9.90
user 20.65
sys 5.72