solutions: 2
nodes: 4  modelTime: 1254  solveTime: 7463  totalTime: 8935  modelSize: 116178  readTime: 218