real 10.73
user 17.42
sys 6.42