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