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