(1,7) (2,24) (3,12) (4,25) (6,13) (9,17) (10,30) (11,23) (14,27) (15,29) (19,22) (20,26) (21,28) 
nodes: 5609  conflicts: 69  modelTime: 945  solveTime: 20990  totalTime: 21947  modelSize: 72262  readTime: 12 size: 13