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