solutions: 17 nodes: 30 modelTime: 247 solveTime: 145 totalTime: 436 modelSize: 10323 readTime: 44