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