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