solutions: 6
nodes: 16  modelTime: 128  solveTime: 198  totalTime: 693  modelSize: 123762