(1,9) (2,17) (3,26) (4,7) (5,21) (6,27) (8,11) (10,25) (12,20) (13,16) (14,18) (15,24) (19,22) (23,28) (29,30) nodes: 257810 conflicts: 21 modelTime: 1724 solveTime: 1360730 totalTime: 1362487 modelSize: 72268 readTime: 33 size: 15