solutions: 3
nodes: 8  modelTime: 93322  solveTime: 95306  totalTime: 189686  modelSize: 4281699