solutions: 0 nodes: 6 modelTime: 4857 solveTime: 4764 totalTime: 9925 modelSize: 454148