(1,25) (2,26) (3,12) (4,10) (5,8) (6,24) (7,29) (9,15) (11,30) (13,22) (14,17) (16,23) (18,21) (19,28) (20,27) 
nodes: 22549  conflicts: 56  modelTime: 1718  solveTime: 118508  totalTime: 120245  modelSize: 72266  readTime: 19 size: 15