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