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