solutions: 6
nodes: 14  modelTime: 128  solveTime: 211  totalTime: 693  modelSize: 123764