solutions: 12
nodes: 25  modelTime: 107  solveTime: 50  totalTime: 358  modelSize: 15470  readTime: 201