solutions: 4
nodes: 9  modelTime: 1089  solveTime: 1375  totalTime: 2682  modelSize: 116082  readTime: 218