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