solutions: 4
nodes: 10  modelTime: 1158  solveTime: 894  totalTime: 2276  modelSize: 116094  readTime: 224