solutions: 4
nodes: 8  modelTime: 1147  solveTime: 722  totalTime: 2028  modelSize: 92846  readTime: 159