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