solutions: 31
nodes: 57  modelTime: 247  solveTime: 156  totalTime: 445  modelSize: 10323  readTime: 42