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