solutions: 16
nodes: 32  modelTime: 2199  solveTime: 3242  totalTime: 5738  modelSize: 341211