real 13.72
user 26.92
sys 7.47