real 13.02
user 25.06
sys 6.83