solutions: 0 nodes: 4 modelTime: 130 solveTime: 253 totalTime: 876 modelSize: 123765