def read_cputime(self):
        while True:
            try:
                return self.cgroups.read_cputime()
            except __HOLE__:
                # Sometimes the kernel produces strange values with linebreaks in them
                time.sleep(1)
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/runexecutor.py/_TimelimitThread.read_cputime