solutions: 6
nodes: 15  modelTime: 139  solveTime: 61  totalTime: 229  modelSize: 10323  readTime: 29