solutions: 2
nodes: 5  modelTime: 1233  solveTime: 1944  totalTime: 3341  modelSize: 54227  readTime: 164