solutions: 40
nodes: 76  modelTime: 251  solveTime: 160  totalTime: 452  modelSize: 10323  readTime: 41