real 3822.14
user 48383.90
sys 377.62