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