solutions: 23
nodes: 45  modelTime: 254  solveTime: 129  totalTime: 425  modelSize: 10323  readTime: 42