solutions: 22
nodes: 42  modelTime: 253  solveTime: 141  totalTime: 437  modelSize: 10323  readTime: 43