real 5332.61
user 5305.96
sys 23.46