solutions: 6
nodes: 13  modelTime: 93  solveTime: 56  totalTime: 317  modelSize: 15470  readTime: 168