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