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