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