(1,16) (2,15) (3,12) (4,20) (6,19) (7,18) (8,11) (9,13) (10,17) nodes: 1228 conflicts: 15 modelTime: 671 solveTime: 1226 totalTime: 1902 modelSize: 20658 readTime: 5 size: 9