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