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