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