solutions: 0 nodes: 3 modelTime: 5128 solveTime: 5750 totalTime: 11193 modelSize: 455012