Thank you for the details, I have found the problem.
It’s known issue with the current version affecting a very small portion of installations using a specific PHP version. Basically it was a bug in the PHP environment causing it. I’ve fixed it by adding an extra line to the search plugin.
This of course will be implemented to the upcoming version, so it shouldn’t happen again 🙂