real 11.89
user 17.14
sys 6.48