real 11.20
user 17.83
sys 6.40