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