real 11.88
user 19.58
sys 5.34