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