solutions: 22 nodes: 42 modelTime: 247 solveTime: 133 totalTime: 422 modelSize: 10323 readTime: 42