solutions: 0 nodes: 2 modelTime: 152 solveTime: 256 totalTime: 974 modelSize: 262995