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