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