real 9.59
user 16.99
sys 6.04