solutions: 6
nodes: 15  modelTime: 40959  solveTime: 50697  totalTime: 92327  modelSize: 3299302