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