solutions: 24
nodes: 59  modelTime: 62737  solveTime: 78346  totalTime: 142020  modelSize: 4330383