solutions: 6
nodes: 15  modelTime: 65127  solveTime: 84528  totalTime: 150650  modelSize: 4328518