solutions: 12
nodes: 22  modelTime: 320  solveTime: 148  totalTime: 520  modelSize: 10323  readTime: 52