(1,20) (2,8) (3,4) (5,24) (6,27) (7,19) (9,16) (10,18) (11,26) (12,23) (13,25) (14,29) (15,21) (17,22) (28,30) 
nodes: 11711  conflicts: 50  modelTime: 971  solveTime: 41469  totalTime: 42452  modelSize: 72266  readTime: 12 size: 15