solutions: 0 nodes: 2 modelTime: 180 solveTime: 257 totalTime: 908 modelSize: 123768