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