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