real 12.64
user 26.99
sys 4.40