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