solutions: 0 nodes: 2 modelTime: 4842 solveTime: 5096 totalTime: 10262 modelSize: 453992