real 13.36
user 16.91
sys 3.89