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