solutions: 0 nodes: 4 modelTime: 2312 solveTime: 2512 totalTime: 5071 modelSize: 341198