solutions: 12
nodes: 23  modelTime: 770  solveTime: 594  totalTime: 1495  modelSize: 54147  readTime: 130