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