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