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