solutions: 4
nodes: 8  modelTime: 959  solveTime: 4538  totalTime: 5697  modelSize: 92846  readTime: 200