solutions: 0 nodes: 3 modelTime: 147 solveTime: 262 totalTime: 939 modelSize: 262995