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