solutions: 1
nodes: 4  modelTime: 1101  solveTime: 3252  totalTime: 4542  modelSize: 92853  readTime: 189