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