solutions: 10
nodes: 22  modelTime: 40434  solveTime: 55264  totalTime: 96436  modelSize: 2949208