solutions: 1 nodes: 4 modelTime: 2194 solveTime: 2683 totalTime: 5132 modelSize: 341139