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