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