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