solutions: 1 nodes: 6 modelTime: 128 solveTime: 256 totalTime: 810 modelSize: 123768