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