real 13.91
user 27.05
sys 7.47