Solved by ptrblck in post #2 
              
              
                The complete formula for the output size is given in the docs. If it’s not divisible, the output size seems to be rounded down. 
EDIT: new link to the Conv2d docs.