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