solutions: 1
nodes: 7  modelTime: 2310  solveTime: 2902  totalTime: 5507  modelSize: 341173