8246  brk(0x9eb0000)                    = 0x9eb0000
8246  brk(0x9ed1000)                    = 0x9ed1000
8246  brk(0x9ecd000)                    = 0x9ecd000
8246  clock_gettime(CLOCK_MONOTONIC, {6568, 406461591}) = 0
11020 clock_gettime(CLOCK_REALTIME, {1257179729, 589225938}) = 0