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