real 12.88
user 19.77
sys 5.18