solutions: 46 nodes: 87 modelTime: 248 solveTime: 158 totalTime: 450 modelSize: 10323 readTime: 44