(1,9) (2,7) (3,13) (4,5) (6,14) (8,16) (10,17) (11,15) (12,20) (18,28) (19,23) (21,24) (22,29) (25,27) (26,30) nodes: 331052 conflicts: 26 modelTime: 948 solveTime: 1882461 totalTime: 1883419 modelSize: 72285 readTime: 10 size: 15