solutions: 6
nodes: 12  modelTime: 1082  solveTime: 709  totalTime: 1970  modelSize: 92829  readTime: 179