solutions: 16
nodes: 34  modelTime: 4544  solveTime: 6042  totalTime: 10929  modelSize: 454950