solutions: 4
nodes: 13  modelTime: 1076  solveTime: 745  totalTime: 2028  modelSize: 92842  readTime: 207