solutions: 0 nodes: 3 modelTime: 2366 solveTime: 2310 totalTime: 4970 modelSize: 340792