(1,8) (2,15) (3,12) (4,24) (5,23) (6,29) (7,26) (9,22) (10,13) (11,30) (14,25) (16,17) (18,28) (19,27) (20,21) 
nodes: 53538  conflicts: 53  modelTime: 1726  solveTime: 252272  totalTime: 254018  modelSize: 72265  readTime: 20 size: 15