solutions: 6
nodes: 12  modelTime: 1170  solveTime: 1548  totalTime: 2951  modelSize: 92840  readTime: 233