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