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