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