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