solutions: 3
nodes: 6  modelTime: 1093  solveTime: 732  totalTime: 2048  modelSize: 92826  readTime: 223