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