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