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