solutions: 14 nodes: 23 modelTime: 248 solveTime: 127 totalTime: 418 modelSize: 10323 readTime: 43