solutions: 12
nodes: 32  modelTime: 65148  solveTime: 91040  totalTime: 157027  modelSize: 4059688