(1,2) (3,5) (4,7) (6,30) (8,15) (9,23) (10,13) (11,28) (12,25) (14,24) (16,27) (17,22) (18,20) (19,29) (21,26) 
nodes: 5013  conflicts: 5  modelTime: 939  solveTime: 31363  totalTime: 32327  modelSize: 72264  readTime: 25 size: 15