(1,22) (2,25) (3,23) (4,21) (5,29) (6,24) (7,27) (8,16) (9,20) (10,30) (12,17) (13,19) (14,28) (15,18) 
nodes: 24993  conflicts: 11  modelTime: 1185  solveTime: 80946  totalTime: 82139  modelSize: 41292  readTime: 8 size: 14