real 12.80
user 26.23
sys 6.99