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