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