real 9.72
user 16.96
sys 6.36