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