solutions: 0 nodes: 4 modelTime: 132 solveTime: 209 totalTime: 676 modelSize: 123762