real 12.57
user 20.17
sys 3.19