real 12.86
user 26.37
sys 6.99