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