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