solutions: 9
nodes: 23  modelTime: 64379  solveTime: 73521  totalTime: 138826  modelSize: 4127109