real 11.58
user 19.72
sys 5.10