solutions: 6
nodes: 14  modelTime: 17933  solveTime: 22194  totalTime: 40750  modelSize: 2258702