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