Bench script adapted to Python 3 and reduced memory needs (so as it can run on 32-bit Win)