solutions: 6
nodes: 12  modelTime: 1017  solveTime: 689  totalTime: 1890  modelSize: 69617  readTime: 184