Increase pid_max to max supported by 64-bit kernel
Increase pid_max to max supported by 64-bit kernel

Default on Ubuntu 16.04 64-bit as tested was 32768 = 2^15.

picoCTF/picoCTF,royragsdale/picoCTF,royragsdale/picoCTF,picoCTF/picoCTF,picoCTF/picoCTF,royragsdale/picoCTF,picoCTF/picoCTF,royragsdale/picoCTF,royragsdale/picoCTF,royragsdale/picoCTF,picoCTF/picoCTF,royragsdale/picoCTF,picoCTF/picoCTF