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