solutions: 1
nodes: 5  modelTime: 5248  solveTime: 5721  totalTime: 11282  modelSize: 454072