(1,9) (2,28) (3,8) (4,5) (6,12) (7,10) (11,22) (13,27) (14,29) (15,26) (16,24) (17,19) (18,30) (20,25) (21,23) 
nodes: 21169  conflicts: 42  modelTime: 965  solveTime: 74876  totalTime: 75852  modelSize: 72263  readTime: 11 size: 15