real 5163.94
user 5138.36
sys 19.14