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