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