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