real 8123.32
user 10304.18
sys 4470.44