(1,11) (3,14) (6,18) (7,20) (8,13) (9,16) (10,15) nodes: 376 conflicts: 29 modelTime: 766 solveTime: 533 totalTime: 1305 modelSize: 20646 readTime: 6 size: 7