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