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