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