(1,20) (2,24) (5,21) (6,15) (7,27) (8,29) (9,18) (10,25) (11,26) (12,13) (14,30) (16,17) (19,28) (22,23) 
nodes: 223  conflicts: 52  modelTime: 953  solveTime: 2349  totalTime: 3314  modelSize: 72262  readTime: 12 size: 14