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