solutions: 10 nodes: 23 modelTime: 179 solveTime: 324 totalTime: 1259 modelSize: 355819