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