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