solutions: 0 nodes: 3 modelTime: 4781 solveTime: 6185 totalTime: 11292 modelSize: 454541