solutions: 4
nodes: 12  modelTime: 2683  solveTime: 2723  totalTime: 5671  modelSize: 340805