solutions: 1
nodes: 4  modelTime: 1045  solveTime: 6640  totalTime: 7891  modelSize: 116177  readTime: 206