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