solutions: 7
nodes: 15  modelTime: 17281  solveTime: 22897  totalTime: 40639  modelSize: 2316365