solutions: 6
nodes: 16  modelTime: 870  solveTime: 748  totalTime: 1785  modelSize: 54148  readTime: 167