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