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