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