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