(1,11) (2,8) (3,13) (4,24) (5,7) (6,9) (10,14) (12,28) (15,21) (16,23) (17,26) (18,30) (19,29) (20,25) (22,27) 
nodes: 47778  conflicts: 64  modelTime: 1741  solveTime: 249874  totalTime: 251635  modelSize: 72267  readTime: 20 size: 15