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