solutions: 8
nodes: 20  modelTime: 218  solveTime: 465  totalTime: 2061  modelSize: 207802