solutions: 1
nodes: 4  modelTime: 1147  solveTime: 6433  totalTime: 7950  modelSize: 116062  readTime: 370