solutions: 0 nodes: 4 modelTime: 232 solveTime: 445 totalTime: 1676 modelSize: 82761