solutions: 12
nodes: 27  modelTime: 95237  solveTime: 105058  totalTime: 201307  modelSize: 4855542