solutions: 0 nodes: 7 modelTime: 153 solveTime: 295 totalTime: 1004 modelSize: 262995