solutions: 0 nodes: 10 modelTime: 191 solveTime: 405 totalTime: 1312 modelSize: 355820