solutions: 6 nodes: 20 modelTime: 162 solveTime: 275 totalTime: 1099 modelSize: 262997