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