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