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