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