solutions: 0 nodes: 6 modelTime: 4845 solveTime: 7014 totalTime: 12144 modelSize: 454142