solutions: 0 nodes: 12 modelTime: 142 solveTime: 202 totalTime: 800 modelSize: 123768