(1,13) (2,18) (3,19) (4,12) (5,11) (6,16) (7,20) (8,14) (9,17) (10,15) nodes: 250 conflicts: 3 modelTime: 759 solveTime: 497 totalTime: 1260 modelSize: 20646 readTime: 4 size: 10