(1,2) (3,14) (4,25) (5,16) (6,11) (7,13) (8,18) (9,21) (10,30) (12,15) (17,19) (20,22) (23,28) 
nodes: 5188  conflicts: 65  modelTime: 2177  solveTime: 32819  totalTime: 35021  modelSize: 72262  readTime: 25 size: 13