solutions: 6
nodes: 15  modelTime: 135  solveTime: 203  totalTime: 648  modelSize: 69616