solutions: 6
nodes: 13  modelTime: 111  solveTime: 75  totalTime: 363  modelSize: 15470  readTime: 177