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