real 11.59
user 21.40
sys 6.26