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