solutions: 6
nodes: 13  modelTime: 91  solveTime: 38  totalTime: 266  modelSize: 15470  readTime: 136