solutions: 5
nodes: 12  modelTime: 147976  solveTime: 136153  totalTime: 285329  modelSize: 5655509  readTime: 1200