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