(1,30) (3,17) (5,26) (6,21) (7,19) (8,27) (9,29) (10,20) (11,16) (12,22) (14,24) (15,18) nodes: 3771 conflicts: 37 modelTime: 664 solveTime: 4766 totalTime: 5436 modelSize: 41298 readTime: 6 size: 12