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