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