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