real 9.95
user 16.60
sys 6.32