real 12.85
user 17.55
sys 6.36