solutions: 1
nodes: 4  modelTime: 959  solveTime: 4132  totalTime: 5239  modelSize: 92840  readTime: 148