(1,30) (2,25) (3,24) (5,16) (6,17) (7,26) (9,20) (12,28) (13,19) (14,18) (15,23) nodes: 1956 conflicts: 60 modelTime: 659 solveTime: 2837 totalTime: 3502 modelSize: 41292 readTime: 6 size: 11