real 11.83
user 17.15
sys 6.27