solutions: 8
nodes: 16  modelTime: 4982  solveTime: 5799  totalTime: 11119  modelSize: 455748