solutions: 6
nodes: 12  modelTime: 825  solveTime: 1658  totalTime: 2624  modelSize: 54154  readTime: 141