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