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