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