solutions: 0 nodes: 5 modelTime: 2168 solveTime: 2508 totalTime: 4923 modelSize: 341153