real 12.46
user 17.19
sys 6.34