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