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