ProcessManager: read() also returns if it timed out or matched within the time