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