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