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