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