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