get_pid_max: Return maximum value for pid_t type when reading fails
#499
| Job | Run time |
|---|---|
| 4m 27s | |
| 1m 24s | |
| 4m 55s | |
| 1m 26s | |
| 4m 20s | |
| 1m 29s | |
| 2m 1s | |
| 2m 6s | |
| 2m 3s | |
| 24m 11s |