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