real 12.78
user 25.95
sys 7.31