solutions: 10
nodes: 25  modelTime: 148112  solveTime: 136029  totalTime: 285479  modelSize: 6352484  readTime: 1338