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