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