real 12.95
user 26.20
sys 7.15