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