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