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