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