solutions: 4
nodes: 8  modelTime: 969  solveTime: 2726  totalTime: 3881  modelSize: 69648  readTime: 185