solutions: 1
nodes: 3  modelTime: 5234  solveTime: 7519  totalTime: 13090  modelSize: 454858