(1,16) (4,13) (5,11) (6,20) (7,15) (8,18) (9,14) (10,12) nodes: 379 conflicts: 29 modelTime: 729 solveTime: 730 totalTime: 1464 modelSize: 20658 readTime: 5 size: 8