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