(1,13) (2,18) (3,20) (4,19) (6,14) (7,17) (8,11) (9,16) (10,15) nodes: 254 conflicts: 22 modelTime: 766 solveTime: 473 totalTime: 1244 modelSize: 20658 readTime: 5 size: 9