solutions: 0 nodes: 6 modelTime: 8966 solveTime: 13617 totalTime: 22970 modelSize: 1697311