solutions: 0 nodes: 7 modelTime: 152 solveTime: 253 totalTime: 1001 modelSize: 262995