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