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