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