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