No matter in what systems, you can always batch resize and compress PDF files by using an online PDF Cropper or PDF Compressor. Just google the keyword and youâll find a lot of free tools.
Note: I had to use the default value for the 'Auto-Reset Size of All Tasks to Save Space' option, which was set to “No”.