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