real 10.73
user 17.39
sys 6.44