solutions: 10
nodes: 23  modelTime: 16834  solveTime: 23558  totalTime: 40832  modelSize: 2237024