(1,18) (2,16) (3,6) (4,20) (5,25) (7,27) (8,24) (9,30) (10,15) (11,17) (12,13) (14,26) (19,23) (21,28) (22,29) nodes: 209993 conflicts: 32 modelTime: 1696 solveTime: 912696 totalTime: 914411 modelSize: 72269 readTime: 19 size: 15