real 12.89
user 27.00
sys 7.37