solutions: 0 nodes: 8 modelTime: 4921 solveTime: 6421 totalTime: 11623 modelSize: 454164