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