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