solutions: 0 nodes: 6 modelTime: 8779 solveTime: 12988 totalTime: 22123 modelSize: 1700049