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