real 11.20
user 17.32
sys 6.37