solutions: 13 nodes: 26 modelTime: 248 solveTime: 128 totalTime: 422 modelSize: 10323 readTime: 46