import sys
import re

syscall_re = re.compile("`SYSCALL: futex' \\(state:EXITING_SYSCALL\\)")
time_re = re.compile("global_time:(\d+)")
futex_time = 999999999

while True:
    line = sys.stdin.readline()
    if not line:
        break
    if syscall_re.search(line):
        m = time_re.search(line)
        if m:
            futex_time = m.group(1)

print futex_time
