https://mamchenkov.net/wordpress/2016/11/21/fixing-innodb-error-log-file-ib_logfile0-is-of-different-size/