real 12561.94
user 129065.39
sys 356.60